Stock image for illustration purposes only - book cover, edition or condition may vary.
Treatise on Intuitionistic Type Theory
Johan Georg Granstrom
€ 170.38
FREE Delivery in Ireland
Description for Treatise on Intuitionistic Type Theory
Hardback. 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. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 212 pages, 8 black & white tables, biography. BIC Classification: HPC; HPK; HPL; PBC; PBKS; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 485.
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.
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.
Product Details
Format
Hardback
Publication date
2011
Publisher
Springer Netherlands
Number of pages
212
Condition
New
Series
Logic, Epistemology, and the Unity of Science
Number of Pages
198
Place of Publication
Dordrecht, Netherlands
ISBN
9789400717350
SKU
V9789400717350
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Johan Georg Granstrom
Johan G. Granström (1977) holds an Uppsala doctorate in mathematical logic (2009). He had the privilege of having Em.Prof. Per Martin-Löf, the father of dependent types, as doctoral supervisor (2003-2009), along with Prof. Erik Palmgren, a renowned expert in constructive mathematics. Dr. Granström has been a short-term research fellow at Ludwig-Maximilians-Universität München (2006-2007) and a research associate in formal ... Read more
Reviews for Treatise on Intuitionistic Type Theory