B. Jacobs

Categorical Logic and Type Theory (eBook, PDF)

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Elsevier Science & Techn.
• Seitenzahl: 778
• Erscheinungstermin: 14. Januar 1999
• Englisch
• ISBN-13: 9780080528700
• Artikelnr.: 38114424