Kód: 02076085
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. ... celý popis
152.02 €
Bežne: 156.29 €
Ušetríte 4.27 €
Nákupom získate 381 bodov
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.
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Calculus & mathematical analysis
152.02 €
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
Nákupný košík ( prázdny )