Overview

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.

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:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

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

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

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions