[1825 days] Categorical Logic and Type Theory
[1825 days] Categorical Logic and Type Theory [1825 days] Categorical Logic and Type Theory

[1825 days] Categorical Logic and Type Theory

0 đánh giá

CHI TIẾT SẢN PHẨM

Mã sản phẩm:
9780444501707
Tồn kho:
Còn hàng
Danh mục
Mua eTextbooks trực tuyến
Nhà xuất bản:
Elsevier S & T
Loại bìa:
Page Fidelity
Ngôn ngữ:
English
Tác giả:
Jacobs, B.


Special Price 3,277,000 VNĐ

Còn VNĐ nữa bạn sẽ được miễn phí giao hàngTìm hiểu thêm

Thời gian giao hàng Xem thêm

Chính sách đổi trả Xem thêm

Số lượng

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

Sản phẩm liên quan

New
[30 days] Substance Use Disorders: Assessment and Treatment
[30 days] Substance Use Disorders: Assessment and Treatment

Substance Use Disorders: Assessment and Treatment is a summary of everything a therapist should know..

864,000 VNĐ

New
[1825 days] ADVANCES IN CANCER RESEARCH, VOLUME 16
[1825 days] ADVANCES IN CANCER RESEARCH, VOLUME 16

ADVANCES IN CANCER RESEARCH, VOLUME 16..

1,853,000 VNĐ

New
[1825 days] Chemistry and Pharmacology
[1825 days] Chemistry and Pharmacology

Internationally acclaimed for more than 40 years, this serial, founded by the late Professor R.H.F. ..

1,853,000 VNĐ

New
[1825 days] ADVANCES IN HETEROCYCLIC CHEMISTRY V 1
[1825 days] ADVANCES IN HETEROCYCLIC CHEMISTRY V 1

ADVANCES IN HETEROCYCLIC CHEMISTRY V 1..

1,853,000 VNĐ

New
[1825 days] A Theory of Individual Behavior
[1825 days] A Theory of Individual Behavior

A Theory of Individual Behavior dispels the notion that individuals act as rational agents and striv..

2,132,500 VNĐ

New
[1825 days] ADVANCES IN GEOPHYSICS VOLUME 25
[1825 days] ADVANCES IN GEOPHYSICS VOLUME 25

ADVANCES IN GEOPHYSICS VOLUME 25..

1,853,000 VNĐ

New
[1825 days] Massachusetts v. Oakes, 491 U.S. 576
[1825 days] Massachusetts v. Oakes, 491 U.S. 576

This title is from the Hayes Barton Press "Originals" series, a collection of classic fiction and no..

38,000 VNĐ

New
[1825 days] Advances in Parasitology
[1825 days] Advances in Parasitology

Advances in Parasitology is a series of up-to-date reviews of all areas of interest in contemporary ..

5,969,000 VNĐ

0898536989
Trang chủ
Tài khoản
0
Giỏ hàng
Thanh toán