Udvidet returret til d. 31. januar 2025

Bøger af Johan Georg Granstrom

Filter
Filter
Sorter efterSorter Populære
  • af Johan Georg Granstrom
    1.221,95 - 1.585,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.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.