[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

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

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
[30 days] User Interface Design and Evaluation
[30 days] User Interface Design and Evaluation

Whether you are a professional new to the user-centered design field, or an experienced designer who..

602,000 VNĐ

New
[1825 days] Private Real Estate Investment: Data Analysis and Decision Making
[1825 days] Private Real Estate Investment: Data Analysis and Decision Making

Fiduciary responsibilities and related court-imposed liabilities have forced investors to assess mar..

2,769,000 VNĐ

New
[1825 days] Pearl Harbor Speech
[1825 days] Pearl Harbor Speech

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

38,000 VNĐ

New
[1825 days] Solid State Physics
[1825 days] Solid State Physics

Solid state physics is the branch of physics that is primarily devoted to the study of matter in its..

6,985,000 VNĐ

New
[1825 days] METHODS IN CELL BIOLOGY,VOLUME 28: DICTYOSTELIUM DISCOIDEUM: MOLECULAR APPROACHES TO CELL BIOLOGY: DICTYOSTELIUM DISCOIDEUM: MOLECULAR APPROACHES TO CELL BIOLOGY
[1825 days] METHODS IN CELL BIOLOGY,VOLUME 28: DICTYOSTELIUM DISCOIDEUM: MOLECULAR APPROACHES TO CELL BIOLOGY: DICTYOSTELIUM DISCOIDEUM: MOLECULAR APPROACHES TO CELL BIOLOGY

METHODS IN CELL BIOLOGY,VOLUME 28: DICTYOSTELIUM DISCOIDEUM: MOLECULAR APPROACHES TO CELL BIOLOGY..

1,853,000 VNĐ

New
[1825 days] Introduction to Chemical Engineering Analysis Using Mathematica
[1825 days] Introduction to Chemical Engineering Analysis Using Mathematica

This book provides an introduction to chemical engineering analysis- which reviews the processes and..

3,531,000 VNĐ

New
[1825 days] Guide to Human Genome Computing
[1825 days] Guide to Human Genome Computing

The Guide to Human Genome Computing is invaluable to scientists who wish to make use of the powerful..

3,810,000 VNĐ

New
[1825 days] Massiah v. United States, 377 U.S. 201
[1825 days] Massiah v. United States, 377 U.S. 201

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

38,000 VNĐ

0898536989
Trang chủ
Tài khoản
0
Giỏ hàng
Thanh toán