Tell your friends about this item:
Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)
Price
$ 146.49
excl. VAT
Ordered from remote warehouse
Expected delivery Nov 13 - Dec 1
Christmas presents can be returned until 31 January
Get notified about new Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) releases
Our customers say:
Add to your iMusic wish list
Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics
Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)
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 |
