Häftad, Engelska, 2001
Categorical Logic and Type Theory
Av B. Jacobs
Del 141 i serien Studies in Logic and the Foundations of Mathematics
1817 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2001-05-10
- Mått: 156 x 234 x 46 mm
- Vikt: 1 200 g
- Format: Häftad
- Språk: Engelska
- Serie: Studies in Logic and the Foundations of Mathematics
- Antal sidor: 778
- Förlag: Elsevier Science
- ISBN: 9780444508539
Utforska kategorier
Recensioner i media
"The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items..." --Zentralblatt für Mathematik, vol.905R.A.G. Seely"This book will be the standard reference in its field for some time to come." --The Bulletin of Symbolic Logic, Vol. 6
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.