[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
[1825 days] Mesoscale Meteorological Modeling
[1825 days] Mesoscale Meteorological Modeling

The second edition of Mesoscale Meteorological Modeling is a fully revised resource for researchers ..

3,326,500 VNĐ

New
[1825 days] Viral Vectors: Gene Therapy and Neuroscience Applications
[1825 days] Viral Vectors: Gene Therapy and Neuroscience Applications

Genetic manipulation of the adult mammalian nervous system is one of the most exciting areas in cont..

1,853,000 VNĐ

New
[1825 days] Inverse Problems in Engineering Mechanics
[1825 days] Inverse Problems in Engineering Mechanics

Inverse problems can be found in many topics of engineering mechanics. There are many successful app..

8,255,000 VNĐ

New
[1825 days] Confessions of an English Opium-Eater
[1825 days] Confessions of an English Opium-Eater

De Quincey confesses his "experiment" with opium - his addiction brought about by daily dosing to re..

38,000 VNĐ

New
[1825 days] Role in Cell Physiology
[1825 days] Role in Cell Physiology

This volume deals with functions of the cytoskeleton in different cellular processes such as cell co..

3,023,000 VNĐ

New
[1825 days] The Age of Innocence
[1825 days] The Age of Innocence

In her novels, Edith Wharton wrote about the convlict between the allure, restrictions, and expectat..

38,000 VNĐ

New
[1825 days] Advances in Heat Transfer
[1825 days] Advances in Heat Transfer

Advances in Heat Transfer is designed to fill the information gap between regularly scheduled journa..

5,588,000 VNĐ

New
[150 days] An Invitation to Biomathematics
[150 days] An Invitation to Biomathematics

Essential for all biology and biomathematics courses, this textbook provides students with a fresh p..

708,000 VNĐ

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