[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] Anne of Green Gables

[1825 days] Anne of Green Gables

Elderly siblings Matthew and Marilla Cuthbert apply to an orphanage for a boy and instead receive sp..

38,000 VNĐ

New

[1825 days] Cell Biological Applications of Confocal Microscopy

[1825 days] Cell Biological Applications of Confocal Microscopy

This volume of the acclaimed Methods in Cell Biology series provides specific examples of applicatio..

4,699,000 VNĐ

New

[1825 days] A Study in Scarlet

[1825 days] A Study in Scarlet

..

38,000 VNĐ

New

[30 days] Designing Teaching Strategies: An Applied Behavior Analysis Systems Approach

[30 days] Designing Teaching Strategies: An Applied Behavior Analysis Systems Approach

The US Dept. of Education, in conjunction with the US Dept. of Health and Human Services, recently u..

2,794,000 VNĐ

New

[30 days] Sensor Technology Handbook

[30 days] Sensor Technology Handbook

Without sensors most electronic applications would not exist—they perform a vital function, namely p..

3,937,000 VNĐ

New

[1825 days] Network Processor Design: Issues and Practices, Volume 2

[1825 days] Network Processor Design: Issues and Practices, Volume 2

Responding to ever-escalating requirements for performance, flexibility, and economy, the networking..

2,386,500 VNĐ

New

[1825 days] Roughing It

[1825 days] Roughing It

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 Applied Mechanics

[1825 days] Advances in Applied Mechanics

This highly acclaimed series provides survey articles on the present state and future direction of r..

5,588,000 VNĐ