[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] De la Sagesse

[1825 days] De la Sagesse

..

38,000 VNĐ

New

[1825 days] Shareholder Value - A Business Experience

[1825 days] Shareholder Value - A Business Experience

'Shareholder Value' presents a powerful and useful toolkit of market-based perspectives, analytic ap..

3,683,000 VNĐ

New

[1825 days] Vibrational Spectra: Principles and Applications with Emphasis on Optical Activity: Principles and Applications with Emphasis on Optical Activity

[1825 days] Vibrational Spectra: Principles and Applications with Emphasis on Optical Activity: Principles and Applications with Emphasis on Optical Activity

This book originated out of a desire to combine topics on vibrational absorption, Raman scattering, ..

9,271,000 VNĐ

New

[1825 days] Oracle SQL: Jumpstart with Examples

[1825 days] Oracle SQL: Jumpstart with Examples

Developers and DBAs use Oracle SQL coding on a daily basis, whether for application development, fin..

2,158,000 VNĐ

New

[1825 days] Digital Signal Processing System-Level Design Using LabVIEW

[1825 days] Digital Signal Processing System-Level Design Using LabVIEW

LabVIEW (Laboratory Virtual Instrumentation Engineering Workbench) developed by National Instruments..

1,574,000 VNĐ

New

[1825 days] Fast Multipole Methods for the Helmholtz Equation in Three Dimensions

[1825 days] Fast Multipole Methods for the Helmholtz Equation in Three Dimensions

This volume in the Elsevier Series in Electromagnetism presents a detailed, in-depth and self-contai..

6,096,000 VNĐ

New

[1825 days] Pectins and Pectinases

[1825 days] Pectins and Pectinases

Pectins are one of the classes of complex structural plant cell wall polysaccharides. They are local..

6,579,000 VNĐ

New

[1825 days] Microcontroller-Based Temperature Monitoring and Control

[1825 days] Microcontroller-Based Temperature Monitoring and Control

Microcontroller-Based Temperature Monitoring and Control is an essential and practical guide for all..

1,777,000 VNĐ