[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] Dracula

[1825 days] Dracula

..

38,000 VNĐ

New

[1825 days] Unbeatable Resumes

[1825 days] Unbeatable Resumes

This helpful resource shows job seekers of all types how to present themselves in the best possible ..

63,000 VNĐ

New

[1825 days] Fuzzy Controllers Handbook: How to Design Them, How They Work

[1825 days] Fuzzy Controllers Handbook: How to Design Them, How They Work

This book teaches you how to design a fuzzy controller and shares the author's experience of design ..

2,005,500 VNĐ

New

[1825 days] Amiloride-Sensitive Sodium Channels: Physiology and Functional Diversity: Physiology and Functional Diversity

[1825 days] Amiloride-Sensitive Sodium Channels: Physiology and Functional Diversity: Physiology and Functional Diversity

Sodium reabsorbing epithelia play a major role in whole-body sodium homeostasis. Some examples of so..

5,080,000 VNĐ

New

[1825 days] Computational Neuroscience in Epilepsy

[1825 days] Computational Neuroscience in Epilepsy

Epilepsy is a neurological disorder that affects millions of patients worldwide and arises from the ..

4,826,000 VNĐ

New

[1825 days] Advances in Computers

[1825 days] Advances in Computers

This present volume describes some of the latest advances in the computer science field today. This..

4,699,000 VNĐ

New

[1825 days] Human Toxicology

[1825 days] Human Toxicology

This excellent volume was designed and edited with two major ideas in mind: firstly, the field of cl..

9,906,000 VNĐ

New

[1825 days] Planning, Design, and Analysis of Cellular Manufacturing Systems

[1825 days] Planning, Design, and Analysis of Cellular Manufacturing Systems

Leading researchers in the field of cellular manufacturing systems from academia and industry have c..

1,853,000 VNĐ