Treatise on Intuitionistic Type Theory Image close
Treatise on Intuitionistic Type Theory on Hardback by Johan Georg Granstrom
Treatise on Intuitionistic Type Theory on Hardback by Johan Georg Granstrom
Show Hide Adult Content
Treatise on Intuitionistic Type Theory close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Humanities  
Philosophy  
Western philosophy

Treatise on Intuitionistic Type Theory

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$376.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $94.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 26 Jun - 8 Jul using International Courier

Explore more Logic, Epistemology, and the Unity of Science

See all products in this series

The Architecture and Archaeology of Modern Logic on Hardback
$402.99
The Architecture and Archaeology of Modern Logic
Hardback
Pre-order - out 8 Jul 2024
Alfred Tarski on Scientific Semantics on Hardback by David Hitchcock
$263.99
Alfred Tarski on Scientific Semantics
by David Hitchcock ~ Hardback
Pre-order - out 26 Jul 2024
Empirical Reason and Sensory Experience on Hardback
$308.99
Empirical Reason and Sensory Experience
Hardback
Pre-order - out 4 Jul 2024
Information and Knowledge on Hardback by Giuseppe Primiero
$434.99
Information and Knowledge
by Giuseppe Primiero ~ Hardback
Available - Usually ships in 3-4 weeks
Games: Unifying Logic, Language, and Philosophy on Hardback Save $20
$422.99
$443.95
Games: Unifying Logic, Language, and Philosophy
Hardback
Available - Usually ships in 3-4 weeks
The Unity of Science in the Arabic Tradition on Hardback
$704.99
The Unity of Science in the Arabic Tradition
Hardback
Available - Usually ships in 3-4 weeks
Awareness in Logic and Epistemology on Hardback by Claudia Fernandez-Fernandez
$262.99
Awareness in Logic and Epistemology
by Claudia Fernandez-Fernandez ~ Hardback
Available - Usually ships in 3-4 weeks
Belief Revision meets Philosophy of Science on Hardback Save $39
$403.99
$443.95
Belief Revision meets Philosophy of Science
Hardback
Available - Usually ships in 3-4 weeks
Formalizing Medieval Logical Theories by Catarina Dutilh Novaes Save $42
$400.99
$443.95
Formalizing Medieval Logical Theories
by Catarina Dutilh Novaes ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Perspectives on Mathematical Practices Save $80
$260.99
$341.95
Perspectives on Mathematical Practices
Paperback / softback
Available - Usually ships in 3-4 weeks
Induction, Algorithmic Learning Theory, and Philosophy Save $43
$399.99
$443.95
Induction, Algorithmic Learning Theory, and Philosophy
Paperback / softback
Available - Usually ships in 3-4 weeks
From a Geometrical Point of View by Jean-Pierre Marquis
$513.99
From a Geometrical Point of View
by Jean-Pierre Marquis ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Procedural Semantics for Hyperintensional Logic on Hardback by Marie Duzi Save $65
$546.99
$612.95
Procedural Semantics for Hyperintensional Logic
by Marie Duzi ~ Hardback
Available - Usually ships in 3-4 weeks
Approaches to Legal Rationality on Hardback
$473.99
Approaches to Legal Rationality
Hardback
Available - Usually ships in 3-4 weeks
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer on Hardback by Mark van Atten
$380.99
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
by Mark van Atten ~ Hardback
Available - Usually ships in 3-4 weeks
Leibniz: What Kind of Rationalist? on Hardback Save $73
$524.99
$598.95
Leibniz: What Kind of Rationalist?
Hardback
Available - Usually ships in 3-4 weeks

Description

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.

Author Biography:

Johan G. Granstrom (1977) holds an Uppsala doctorate in mathematical logic (2009). He had the privilege of having Em.Prof. Per Martin-Lof, the father of dependent types, as doctoral supervisor (2003-2009), along with Prof. Erik Palmgren, a renowned expert in constructive mathematics. Dr. Granstrom has been a short-term research fellow at Ludwig-Maximilians-Universitat Munchen (2006-2007) and a research associate in formal methods for MDA at King's College London (2009). Before entering into doctoral studies he was employed in the computer industry as systems developer, consultant, and software architect (1998-2003). He worked as Systems and Solutions Architect at Svea Ekonomi (2009-2011) and is currently employed by Google, Zurich (2011- ).
Release date Australia
June 3rd, 2011
Audience
  • Professional & Vocational
Illustrations
XIV, 198 p.
Pages
198
Dimensions
156x234x12
ISBN-13
9789400717350
Product ID
18258598

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Humanities >
Philosophy >
Western philosophy
Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Epistemology, theory of knowledge
Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Numerical analysis
Books >
Computers & Internet >
Computer Programming
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: epistemology & theory of knowledge
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation