Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science - Johan Georg Granstrom - Books - Springer - 9789400736399 - August 3, 2013
In case cover and title do not match, the title is correct

Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition

Johan Georg Granstrom

Login to be notified when the product is available again

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 3, 2013
ISBN13 9789400736399
Publishers Springer
Pages 212
Dimensions 156 × 234 × 11 mm   ·   303 g
Language English   German   Greek   Latin  

See all of Johan Georg Granstrom ( e.g. Hardcover Book and Paperback Book )