Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher von Johan Georg Granstrom

Filter
Filter
Ordnen nachSortieren Beliebt
  • 13% sparen
    von Johan Georg Granstrom
    130,00 €

    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.

Willkommen bei den Tales Buchfreunden und -freundinnen

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