Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science - Johan Georg Granstrom - Grāmatas - Springer - 9789400717350 - 2011. gada 3. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 142,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 5. - 13. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Johan Georg Granstrom izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2011. gada 3. jūnijs
ISBN13 9789400717350
Izdevēji Springer
Lapas 212
Izmēri 156 × 234 × 12 mm   ·   453 g
Valoda Angļu   Vācu   Greek   Latin  

Vairāk no tā paša izdevēja

Skatīt visus Johan Georg Granstrom