Call Boomerang Books 1300 36 33 32

Description - Categorical Logic and Type Theory by B. 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.

Buy Categorical Logic and Type Theory by B. Jacobs from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780444508539
ISBN-10: 0444508538
Format: Paperback
Pages: 778
Imprint: Elsevier Science Ltd
Publisher: Elsevier Science & Technology
Publish Date: 1-Dec-1998
Country of Publication: United Kingdom

Other Editions - Categorical Logic and Type Theory by B. Jacobs

Book Reviews - Categorical Logic and Type Theory by B. Jacobs

» Have you read this book? We'd like to know what you think about it - write a review about Categorical Logic and Type Theory book by B. Jacobs and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review