471851
9780444508539
Categorical Logic and Type Theory
by Jacobs, B.
by Jacobs, B.
465888
About this item
- Condition: New
- Provider: Ergode New Condition Contact
- Provider Rating: 0%
- Ships From: Houston, TX
- Shipping: Standard
- Comments: Buy with confidence. Excellent Customer Service & Return policy.
465888
About this item
- Condition: Good
- Provider: Ergode New Condition Contact
- Provider Rating: 0%
- Ships From: Houston, TX
- Shipping: Standard
- Comments: Buy with confidence. Excellent Customer Service & Return policy.
Product details
- ISBN-13: 9780444508539
- ISBN: 0444508538
- Publisher: Elsevier Science & Technology Books
AUTHOR
SUMMARY
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.Jacobs, B. is the author of 'Categorical Logic and Type Theory' with ISBN 9780444508539 and ISBN 0444508538.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
