Categorical Logic And Type Theory, Volume 141 (Studies In Logic And The Foundations Of Mathematics)

Authors: B. Jacobs
Publisher: Elsevier Science
Keywords: logic, studies, foundati, volume, theory, type, categorical
Pages: 780
Published: 2001-05-24
Language: English
Category: Mathematics, Science,
ISBN-10: 0444508538     ISBN-13: 9780444508539
Binding: Hardcover
List Price: 116.00 USD
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.

Searching Book Reviews...