Call Boomerang Books 1300 36 33 32

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 book by Bart Jacobs from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780444508539
ISBN-10: 0444508538
Format: Paperback
(234mm x 156mm x 43mm)
Pages: 778
Imprint: Elsevier Science Ltd
Publisher: Elsevier Science & Technology
Publish Date: 1-Dec-1998
Country of Publication: United Kingdom

Reviews

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


Books By Author Bart Jacobs

Introduction to Coalgebra by Bart Jacobs

Introduction to Coalgebra

Hardback, October 2016
$211.50