[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
[1825 days] Quantum Theoretic Machines: What is thought from the point of view of Physics?
[1825 days] Quantum Theoretic Machines: What is thought from the point of view of Physics?

Making Sense of Inner Sense 'Terra cognita' is terra incognita. It is difficult to find someone not..

6,350,000 VNĐ

New
[1825 days] Advances in DNA Sequence-specific Agents, Volume 3
[1825 days] Advances in DNA Sequence-specific Agents, Volume 3

In this volume the entire focus is devoted to the macromolecule target specificity of DNA interactiv..

2,743,500 VNĐ

New
[1825 days] Letters Written During A Short Residence In Sweden, Norway, And Denmark
[1825 days] Letters Written During A Short Residence In Sweden, Norway, And Denmark

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

38,000 VNĐ

New
[1825 days] Roberts v. United States Jaycees, 468 U.S. 609
[1825 days] Roberts v. United States Jaycees, 468 U.S. 609

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

38,000 VNĐ

New
[1825 days] Modeling in Transport Phenomena: A Conceptual Approach
[1825 days] Modeling in Transport Phenomena: A Conceptual Approach

Modeling in Transport Phenomena, Second Edition presents and clearly explains with example problems..

716,500 VNĐ

New
[1825 days] A Day
[1825 days] A Day

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

38,000 VNĐ

New
[30 days] Protein NMR Spectroscopy: Principles and Practice
[30 days] Protein NMR Spectroscopy: Principles and Practice

Protein NMR Spectroscopy combines a comprehensive theoretical treatment of NMR spectroscopy with an ..

1,326,000 VNĐ

New
[1825 days] Environmental Engineering
[1825 days] Environmental Engineering

This book provides a comprehensive introduction to air, water, noise, and radioactive materials poll..

3,150,000 VNĐ

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