Categorical Logic And Type Theory, Volume 141 (Studies In Logic And The Foundations Of Mathematics)
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.
Download Data provided by OpenISBN Project and others:
- Export Citation(BiBTeX, EndNote, RefMan)
- Download multimedia files (txt, html, PDF)
- 0444508538.pdf (text only)
- 0444508538.zip (currently not available)
You can search on LeatherBound to download or purchase an ebook.
Searching Book Reviews...