[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

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 CATALYSIS VOLUME 5

In the current volume a variety of subjects is treated by competent authors. These subjects deal wit..

1,853,000 VNĐ

New

[150 days] Environmental Pollution and Control

Complex environmental problems are often reduced to an inappropriate level of simplicity. While thi..

2,386,500 VNĐ

New

[1825 days] Vie de Jésus: Histoire des Origines du Christianisme, Tome I

38,000 VNĐ

New

[1825 days] The Scarecrow of Oz

The ninth book of the series, The Scarecrow of Oz is Baum's favorite. Cap'n Bill and Trot are throw..

38,000 VNĐ

New

[30 days] Principles of Corrosion Engineering and Corrosion Control

Corrosion is a huge issue for materials, mechanical, civil and petrochemical engineers. With compreh..

850,500 VNĐ

New

[1825 days] Report on Canadian Troops: Speech before the House of Commons, May 18, 1917

38,000 VNĐ

New

[1825 days] Quarantine the Aggressor

38,000 VNĐ

New

[1825 days] Gestalt Theory

An address before the Kant Society, Berlin, 7 December 1924...

38,000 VNĐ

[1825 days] Categorical Logic and Type Theory

Sản phẩm liên quan

Trang chủ

Tài khoản

Giỏ hàng

Thanh toán