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 13% des UVP sparen 13%
Ü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:
  • 9789400736399
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 212
  • Veröffentlicht:
  • 3. August 2013
  • Ausgabe:
  • 2011
  • Abmessungen:
  • 234x156x11 mm.
  • Gewicht:
  • 305 g.
  Versandkostenfrei
  Sofort lieferbar

Ü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.