Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory

von Johan Georg Granstrom

enthalten in Logic, Epistemology, and the Unity of Science-Reihe

Treatise on Intuitionistic Type Theory von Johan Georg Granstrom Sie sparen 19% des UVP sparen 19%
Über Treatise on Intuitionistic Type Theory

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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9789400717350
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 212
  • Veröffentlicht:
  • 3. Juni 2011
  • Abmessungen:
  • 234x156x12 mm.
  • Gewicht:
  • 485 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025
  •  

    Keine Lieferung vor Weihnachten möglich.
    Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Über Johan Georg Granstrom

Alle Bücher von Johan Georg Granstrom anzeigen

Beschreibung von Treatise on Intuitionistic Type Theory

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.

Kund*innenbewertungen von Treatise on Intuitionistic Type Theory



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Treatise on Intuitionistic Type Theory ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.