Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science - Johan Georg Granstrom - Books - Springer - 9789400717350 - June 3, 2011
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

Price
$ 147.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

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:

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     Hardcover Book   (Book with hard spine and cover)
Released June 3, 2011
ISBN13 9789400717350
Publishers Springer
Pages 212
Dimensions 156 × 234 × 12 mm   ·   453 g
Language English   German   Greek   Latin  

Mere med samme udgiver

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