Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics - Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) - Bøger - Elsevier Science & Technology - 9780444508539 - 10. maj 2001
Ved uoverensstemmelse mellem cover og titel gælder titel

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

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

Pris
A$ 280,61

Bestilles fra fjernlager

Forventes klar til forsendelse 25. jul. - 1. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 10. maj 2001
ISBN13 9780444508539
Forlag Elsevier Science & Technology
Antal 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. Paperback Bog )