Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science - Johan Georg Granstrom - Bøger - Springer - 9789400717350 - 3. juni 2011
Ved uoverensstemmelse mellem cover og titel gælder titel

Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition

Johan Georg Granstrom

Pris
DKK 1.488

Bestilles fra fjernlager

Forventes klar til forsendelse 1. - 9. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition

Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.

198 pages, 8 black & white tables, biography

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 3. juni 2011
ISBN13 9789400717350
Forlag Springer
Antal sider 212
Mål 156 × 234 × 12 mm   ·   453 g
Sprog Engelsk   Tysk   Græsk   Latin  

Se alt med Johan Georg Granstrom ( f.eks. Hardcover bog og Paperback Bog )