Spara
Categorical Logic and Type Theory
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
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.
- Författare
- B. Jacobs
- ISBN
- 9780080528700
- Språk
- Engelska
- Utgivningsdatum
- 1999-01-14
- Förlag
- ELSEVIER SCIENCE
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
