Categorical Logic and Type Theory

By Bart Jacobs

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.

• Format: Paperback
• Language: English
• ISBN: 0444508538
• ISBN13: 9780444508539
• Release Date: May 2001
• Publisher: Elsevier Science
• Length: 778 Pages
• Weight: 1.00 lbs.
• Dimensions: 1.6" x 6.1" x 9.2"