1. Treatise on Intuitionistic Type Theory
by Granstrom, Johan 
Price: USD 150.03
Dealer: Abebooks, GreatBookPrices
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover [Columbia, MD, U.S.A.] [Publication Year: 2011]  

2. Treatise on Intuitionistic Type Theory
by Granstroem, Johan Georg 
Price: USD 150.29
Dealer: Alibris
Description: Dordrecht Springer 2011 Hard cover New. Text in German, English. 198 p. Logic, Epistemology, and the Unity of Science , 22. 8 Tables, black and white; XIV, 198 p. Intended for professional and scholarly audience. 

3. Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science (22)) (English and German Edition) by Granström, Johan Georg [Hardcover ]
by Granström, Johan Georg 
Price: USD 152.68
Dealer: Abebooks, booksXpress
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover [Bayonne, NJ, U.S.A.] [Publication Year: 2011]  

4. Treatise on Intuitionistic Type Theory
by Johan Georg Granström 
Price: USD 153.44
Dealer: ZVAB, AHA-BUCH GmbH
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer Netherlands] Hardcover Druck auf Anfrage Neuware - Printed after ordering - Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book. [Einbeck, Germany] [Publication Year: 2011]  

5. Treatise on Intuitionistic Type Theory
by Granstrom, Johan 
Price: USD 163.60
Dealer: AbebooksUK, GreatBookPricesUK
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover [Castle Donington, DERBY, United Kingdom] [Publication Year: 2011]  

6. Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)
by Granström, Johan Georg 
Price: USD 167.91
Dealer: Abebooks, Lucky's Textbooks
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover [Dallas, TX, U.S.A.] [Publication Year: 2011]  

7. Treatise on Intuitionistic Type Theory
by Johan Georg Granström 
Price: USD 169.53
Dealer: AbebooksDE, AHA-BUCH GmbH
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer Netherlands] Hardcover Druck auf Anfrage Neuware - Printed after ordering - Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book. [Einbeck, Germany] [Publication Year: 2011]  

8. Treatise on Intuitionistic Type Theory
by Johan Georg Granstrom 
Price: USD 169.92
Dealer: Biblio, Ria Christie Collections
Description: Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Treatise on Intuitionistic Type Theory. ISBN 9400717350 9789400717350 [GB] 

9. Treatise on Intuitionistic Type Theory
by Granstroem, Johan Georg 
Price: USD 186.65
Dealer: Alibris, Ria Christie Books via Alibris
Description: Dordrecht Springer 2011 Hard cover New. Text in German, English. 212 p. Logic, Epistemology, and the Unity of Science , 22. 8 black & white tables, biography. Intended for professional and scholarly audience. 

10. Treatise on Intuitionistic Type Theory Logic Epistemology and the Unity of Science English German Latin and Greek Edition
by Johan Georg Granstrom 
Price: USD 187.70
Dealer: Biblio, Ergodebooks
Description: Springer, Date: 2011-06-09. 2011. Hardcover. Used:Good. 2011. Springer ISBN 9400717350 9789400717350 [US] 

11. Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)
by Granström, Johan Georg 
Price: USD 207.00
Dealer: Abebooks, California Books
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover [Miami, FL, U.S.A.] [Publication Year: 2011]  

12. Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science (22)) (English and German Edition)
by Granström, Johan Georg 
Price: USD 222.87
Dealer: AbebooksUK, Mispah books
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover Like New [Redhill, SURRE, United Kingdom] [Publication Year: 2011]  

13. Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22) (English and German Edition)
by Granström, Johan Georg 
Price: USD 249.43
Dealer: Abebooks, GoldenWavesOfBooks
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover New. Fast Shipping and good customer service [Fayetteville, TX, U.S.A.] [Publication Year: 2011]  

14. Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22) (English and German Edition)
by Granström, Johan Georg 
Price: USD 260.50
Dealer: Abebooks, Front Cover Books
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover [Denver, CO, U.S.A.] [Publication Year: 2011]  

15. Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22) (English and German Edition)
by Granstrà m, Johan Georg 
Price: USD 314.09
Dealer: Abebooks, GoldBooks
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover New Copy. Customer Service Guaranteed [Denver, CO, U.S.A.] [Publication Year: 2011]  

16. Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22) (English and German Edition)
by Granström, Johan Georg 
Price: USD 505.95
Dealer: Abebooks, GoldenDragon
Description: ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover Buy for Great customer experience [Houston, TX, U.S.A.] [Publication Year: 2011]