The book is currently out of stock
More about the book
Die intuitionistische Typentheorie wird als Teil der Vision einer universellen Wissenschaftssprache dargestellt. Das Buch behandelt Aspekte wie Mengenlehre, Referenz vs. Berechnung, Annahme und Substitution. Philosophische Themen wie Kompositionalität, Epistemologie und intuitionistische Logik werden ebenfalls behandelt, ergänzt durch historische Verweise.
Book purchase
Treatise on Intuitionistic Type Theory, Johan Georg Granström
- Language
- Released
- 2011
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.