E-bok, Engelska, 1999
Categorical Logic and Type Theory
Av B. Jacobs
2445 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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: 1999-01-14
- Språk: Engelska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9780080528700
- Förlag: Elsevier Science
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.