Fortæl dine venner om denne vare:
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition
Johan Georg Granstrom
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
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
Se alt med Johan Georg Granstrom ( f.eks. Hardcover bog og Paperback Bog )