De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Bøger af Johan Georg Granstrom

Filter
Filter
Sorter efterSorter Populære
  • af Johan Georg Granstrom
    1.222,95 - 1.621,95 kr.

    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.