Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics - Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) - Bøker - Elsevier Science & Technology - 9780444508539 - 10. mai 2001
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics

Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)

Pris
¥ 21.238

Bestillingsvarer

Forventes levert 25. jul - 5. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics

Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

780 pages

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 10. mai 2001
ISBN13 9780444508539
Utgivere Elsevier Science & Technology
Antall sider 778
Mål 167 × 242 × 46 mm   ·   1,24 kg

Se alt med Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) ( f.eks. Pocketbok )