Conte aos seus amigos sobre este item:
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition
Johan Georg Granstrom
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition
Johan Georg Granstrom
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.
198 pages, 8 black & white tables, biography
Ver tudo de Johan Georg Granstrom ( por exemplo Hardcover Book e Paperback Book )