[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

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:

Trạng thái:

Có hàng

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

Mô tả
Đánh giá (0)

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] ADVANCES IN IMMUNOLOGY VOLUME 37

[1825 days] ADVANCES IN IMMUNOLOGY VOLUME 37

ADVANCES IN IMMUNOLOGY VOLUME 37..

1,853,000 VNĐ

New

[1825 days] Hans Brinker, or The Silver Skates

[1825 days] Hans Brinker, or The Silver Skates

Hans Brinker, or The Silver Skates, is a story about poverty, hardship, buried gold, an ice skating ..

38,000 VNĐ

New

[1825 days] Uncle Tom's Cabin

[1825 days] Uncle Tom's Cabin

Harriet Beecher Stowe, the daughter of a strict Calvinist preacher, wrote Uncle Tom's Cabin after le..

38,000 VNĐ

New

[1825 days] America

[1825 days] America

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

38,000 VNĐ

New

[1825 days] Internal Photoemission Spectroscopy: Principles and Applications

[1825 days] Internal Photoemission Spectroscopy: Principles and Applications

The monographic book addresses the basics of the charge carrier photoemission from one solid to anot..

5,461,000 VNĐ

New

[1825 days] My Discovery of England

[1825 days] My Discovery of England

..

38,000 VNĐ

New

[1825 days] Poems of John Donne

[1825 days] Poems of John Donne

John Donne was one of the most celebrated preachers and poets of the seventeenth century. He was kn..

38,000 VNĐ

New

[1825 days] Advances in Physical Organic Chemistry

[1825 days] Advances in Physical Organic Chemistry

Advances in Physical Organic Chemistry..

1,853,000 VNĐ