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.
Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)
Brand: Elsevier Science Technology
$205.28 - $232.68
(No reviews yet)
Write a Review
Write a Review
Brand: Elsevier Science Technology
Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)
- UPC:
- 9780444508539
- Maximum Purchase:
- 3 units
- Binding:
- Paperback
- Publication Date:
- 2001-05-24
- Release Date:
- 2001-10-05
- Author:
- B. Jacobs
- Language:
- english
- Edition:
- Reprint
A Mathematical Introduction to Logic
$159.00 - $300.00
Logic and Boolean Algebra (Dover Books on Mathematics)
$22.88 - $27.48
Brand: Princeton University Press
Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions
$156.45 - $281.28
