[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

[150 days] Nonimaging Optics

[150 days] Nonimaging Optics

From its inception nearly 30 years ago, the optical subdiscipline now referred to as nonimaging opti..

1,302,000 VNĐ

New

[1825 days] WarDriving: Drive, Detect, Defend: A Guide to Wireless Security

[1825 days] WarDriving: Drive, Detect, Defend: A Guide to Wireless Security

The practice of WarDriving is a unique combination of hobby, sociological research, and security ass..

1,320,000 VNĐ

New

[1825 days] La Science et l'Hypothèse

[1825 days] La Science et l'Hypothèse

..

38,000 VNĐ

New

[30 days] Practical SCADA for Industry

[30 days] Practical SCADA for Industry

A SCADA system gathers information, such as where a leak on a pipeline has occurred, transfers the i..

704,000 VNĐ

New

[1825 days] Detecting Ecological Impacts: Concepts and Applications in Coastal Habitats

[1825 days] Detecting Ecological Impacts: Concepts and Applications in Coastal Habitats

Detecting Ecological Impacts: Concepts and Applications in Coastal Habitats focuses on crucial aspec..

3,428,000 VNĐ

New

[1825 days] Decanter Centrifuge Handbook

[1825 days] Decanter Centrifuge Handbook

Scope of Publication A reference work for process designers and users of decanters, this book aims t..

9,779,000 VNĐ

New

[1825 days] The Edinburgh Companion to Scottish Romanticism

[1825 days] The Edinburgh Companion to Scottish Romanticism

This is the first and only guide to Scottish Romanticism. It captures the best of critical debate as..

909,500 VNĐ

New

[1825 days] Uncooled Infrared Imaging Arrays and Systems

[1825 days] Uncooled Infrared Imaging Arrays and Systems

This is the first book to describe an emerging but already growing technology of thermal imaging bas..

6,350,000 VNĐ