Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics - Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) - Books - Elsevier Science & Technology - 9780444508539 - May 10, 2001
In case cover and title do not match, the title is correct

Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)
Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics

Price
$ 147.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 25 - Jul 7

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

780 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 10, 2001
ISBN13 9780444508539
Publishers Elsevier Science & Technology
Pages 778
Dimensions 167 × 242 × 46 mm   ·   1.07 kg
Language English  

Mere med samme udgiver

See all of Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) ( e.g. Paperback Book )