[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] Electronic Security Systems: A Manager's Guide to Evaluating and Selecting System Solutions
[30 days] Electronic Security Systems: A Manager's Guide to Evaluating and Selecting System Solutions

Electronic Security Systems is a book written to help the security professional understand the var..

731,500 VNĐ

New
[1825 days] Solid State Physics V24
[1825 days] Solid State Physics V24

Solid State Physics V24..

1,853,000 VNĐ

New
[1825 days] The Sarbanes-Oxley Act: costs, benefits and business impacts
[1825 days] The Sarbanes-Oxley Act: costs, benefits and business impacts

The Sarbannes-Oxley Act (SOX) is a mandatory requirement for all listed corporations in the US, whet..

1,955,000 VNĐ

New
[1825 days] Handbook of Latent Variable and Related Models
[1825 days] Handbook of Latent Variable and Related Models

This Handbook covers latent variable models, which are a flexible class of models for modeling multi..

4,572,000 VNĐ

New
[1825 days] ADVANCES IN IMMUNOLOGY VOLUME 39
[1825 days] ADVANCES IN IMMUNOLOGY VOLUME 39

ADVANCES IN IMMUNOLOGY VOLUME 39..

1,853,000 VNĐ

New
[1825 days] Advances in Heterocyclic Chemistry: Volume 63
[1825 days] Advances in Heterocyclic Chemistry: Volume 63

Established in 1960, Advances in Heterocyclic Chemistry is the definitive serial in the area-one of ..

1,853,000 VNĐ

New
[1825 days] Integrins
[1825 days] Integrins

An integrin, or integrin receptor, is an integral membrane protein in the plasma membrane of cells. ..

5,080,000 VNĐ

New
[30 days] Wireless Networking Technology: From Principles to Successful Implementation
[30 days] Wireless Networking Technology: From Principles to Successful Implementation

As the demand for higher bandwidth has lead to the development of increasingly complex wireless tech..

1,650,000 VNĐ

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