Freunden von diesem Artikel berichten:
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition
Johan Georg Granstrom
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition
Johan Georg Granstrom
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 3. August 2013 |
| ISBN13 | 9789400736399 |
| Verlag | Springer |
| Seitenanzahl | 212 |
| Maße | 156 × 234 × 11 mm · 303 g |
| Sprache | Englisch Deutsch Griechisch Latein |
Alle Titel von Johan Georg Granstrom ansehen ( u. a. Gebundenes Buch und Taschenbuch )