SÁCH THẬT - TRI THỨC THẬT CÙNG BOOKMEDI.VN

[1825 days] Categorical Logic and Type Theory

[1825 days] Categorical Logic and Type Theory
[1825 days] Categorical Logic and Type Theory
Mã sản phẩm:
9780444501707
Nhà xuất bản:
Elsevier S & T
Loại bìa:
Page Fidelity
Ngôn ngữ:
English
Tác giả:
Jacobs, B.
Thuê hoặc mua eTextbook
1825 ngày
3.277.000 VND

Hết hạn vào: 2030-12-21

3.277.000 VND

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.
Đang cập nhật
Liên kết:

Elsevier S & T

Sản phẩm cùng chủ đề

New
[1825 days] Maintenance Benchmarking and Best Practices
[1825 days] Maintenance Benchmarking and Best Practices

Over the past decade, companies have redirected their maintenance operational focus from internal co..

1,852,000 VNĐ

New
[1825 days] First Inaugural Address
[1825 days] First Inaugural Address

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

38,000 VNĐ

New
[1825 days] Layered Intrusions
[1825 days] Layered Intrusions

Written by leading experts in the field, this work summarises the important aspects relating to laye..

4,926,500 VNĐ

New
[1825 days] Cycloid Pudding
[1825 days] Cycloid Pudding

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 CANCER RESEARCH, VOLUME 10
[1825 days] ADVANCES IN CANCER RESEARCH, VOLUME 10

ADVANCES IN CANCER RESEARCH, VOLUME 10..

1,853,000 VNĐ

New
[1825 days] Poems of William Cullen Bryant
[1825 days] Poems of William Cullen Bryant

Bryant, an American-born poet, practiced law and then became the editor of the New York Evening Post..

38,000 VNĐ

New
[1825 days] The Flaviviruses: Structure, Replication and Evolution: Structure, Replication and Evolution
[1825 days] The Flaviviruses: Structure, Replication and Evolution: Structure, Replication and Evolution

Over 50% of known flaviviruses have been associated with human disease. The Flavivirus genus constit..

4,445,000 VNĐ

New
[150 days] Environmental Soil Chemistry
[150 days] Environmental Soil Chemistry

Environmental Soil Chemistry illustrates fundamental principles of soil chemistry with respect to en..

822,500 VNĐ

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