Weitere Formate
Hardcover - 9789400717350
149,79 €
Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | Springer Netherland |
| Ersterscheinung | 03. August 2013 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 330 Gramm |
| Format | Softcover |
| ISBN-13 | 9789400736399 |
| Seiten | 198 |
Schlagwörter
Algorithmen und Datenstrukturen, Algorithms, Computer Science Logic and Foundations of Programming, Epistemology, History of Philosophy, Logic, Mathematical Logic and Foundations, Mathematik: Logik, Mathematische Grundlagen, Philosophie: Epistemologie und Erkenntnistheorie, Philosophie: Logik, Philosophische Traditionen und Denkschulen, Theoretische Informatik
Herstellerinformationen
Bekannt durch
