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

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

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Johan Georg Granstrom releases

Our customers say:

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

Not rated yet

Also available as:

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   ·   330 g
Language English   German   Greek   Latin  

More from the same publisher

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