Categorical Logic and Type Theory by Bart Jacobs
Look inside with Google Book Preview
Categorical Logic and Type Theory
By Bart Jacobs

Categorical Logic and Type Theory

By (author) See other recent books by Bart Jacobs
Format: Paperback

Normal Price: $153.00
Your Price: $137.70 AUD, inc. GST
Shipping: $7.95 per order
You Save: $15.30! (10% off normal price)
Plus...earn $6.89 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply



Categorical Logic and Type Theory by Bart Jacobs

Book Description

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 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: 10-May-2001
Country of Publication: United Kingdom

Books By Author Bart Jacobs

Introduction to Coalgebra by Bart Jacobs Introduction to Coalgebra, Hardback (October 2016)

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.

» View all books by Bart Jacobs

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 member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Bart Jacobs close
Introduction to Coalgebra by Bart Jacobs
»
BoomerangBooks.com.au close