[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] Batten Disease: Diagnosis, Treatment, and Research: Diagnosis, Treatment, and Research
[1825 days] Batten Disease: Diagnosis, Treatment, and Research: Diagnosis, Treatment, and Research

This title will present all current knowledge of Batten disease from research to clinical evaluation..

4,699,000 VNĐ

New
[1825 days] Cellular and Molecular Procedures in Developmental Biology
[1825 days] Cellular and Molecular Procedures in Developmental Biology

This volume incorporates practical methods at the level of molecular, cellular, and whole organism b..

5,461,000 VNĐ

New
[1825 days] Digital Control and Signal Processing Systems and Techniques: Advances in Theory and Applications
[1825 days] Digital Control and Signal Processing Systems and Techniques: Advances in Theory and Applications

Praise for the Series:"This book will be a useful reference to control engineers and researchers. Th..

5,715,000 VNĐ

New
[90 days] Handbook of Complementary and Alternative Therapies in Mental Health
[90 days] Handbook of Complementary and Alternative Therapies in Mental Health

Scott Shannon is an MD, president elect of the American Holistic Medical Association, and considered..

1,886,000 VNĐ

New
[1825 days] Memories of Canada and Scotland: Speeches and Verses
[1825 days] Memories of Canada and Scotland: Speeches and Verses

..

38,000 VNĐ

New
[1825 days] Geomorphological Hazards of Europe
[1825 days] Geomorphological Hazards of Europe

The Geomorphological Hazards of Europe contains an excellent balance of authoritative statements on ..

8,890,000 VNĐ

New
[1825 days] Handbook of Transfusion Medicine
[1825 days] Handbook of Transfusion Medicine

Handbook of Transfusion Medicine is unique in that it provides a comprehensive and practical descrip..

3,302,000 VNĐ

New
[1825 days] Low-temperature Combustion and Autoignition
[1825 days] Low-temperature Combustion and Autoignition

Combustion has played a central role in the development of our civilization which it maintains today..

18,542,000 VNĐ

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