Treatise on Intuitionistic Type Theory Hardcover - 2011 - 2011th Edition
by Granström, Johan Georg
From the rear cover
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. 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.
Details
- Title Treatise on Intuitionistic Type Theory
- Author Granström, Johan Georg
- Binding Hardcover
- Edition number 2011th
- Edition 2011
- Language ENG
- Publisher Springer
- Date 2011-06
- Features Bilingual, Bibliography, Index, Table of Contents
- ISBN 9789400717350
-
Themes
- Aspects (Academic): Nanotechnology
More Copies for Sale
Treatise on Intuitionistic Type Theory
by Johan Georg Granström
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9789400717350 / 9400717350
- Quantity Available
- 353
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$169.94$10.12 shipping to USA
Show Details
Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science) (English, German, Latin and Greek Edition)
by Johan Georg Granström
- Used
- Hardcover
- Condition
- Used:Good
- Edition
- 2011
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9789400717350 / 9400717350
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$187.70FREE shipping to USA
Show Details
Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22) (English and German Edition)
by Granström, Johan Georg
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9789400717350 / 9400717350
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
$222.00$10.00 shipping to USA