Categorical Logic and Type Theory
Author:   B. Jacobs (Computing Science Institute, University of Nijmegen, The Netherlands)
Publisher:   Elsevier Science & Technology
Volume:   v. 141
ISBN:  

9780444508539


Pages:   778
Publication Date:   10 May 2001
Format:   Paperback
Availability:   Awaiting stock   Availability explained
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.

Our Price $306.24 Quantity:  
Add to Cart

Share |

Categorical Logic and Type Theory


Add your own review!

Overview

Full Product Details

Author:   B. Jacobs (Computing Science Institute, University of Nijmegen, The Netherlands)
Publisher:   Elsevier Science & Technology
Imprint:   Elsevier Science Ltd
Volume:   v. 141
Dimensions:   Width: 15.60cm , Height: 4.30cm , Length: 23.40cm
Weight:   1.200kg
ISBN:  

9780444508539


ISBN 10:   0444508538
Pages:   778
Publication Date:   10 May 2001
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Awaiting stock   Availability explained
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.

Table of Contents

Reviews

"""The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items..."" --Zentralblatt für Mathematik, vol.905 R.A.G. Seely ""This book will be the standard reference in its field for some time to come."" --The Bulletin of Symbolic Logic, Vol. 6"


...The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items... Zentralblatt fur Mathematik, vol.905 R.A.G. Seely This book will be the standard reference in its field for some time to come. The Bulletin of Symbolic Logic, Vol. 6


Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now