Knihu momentálně nemáme skladem
Více o knize
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.
Nákup knihy
Treatise on Intuitionistic Type Theory, Johan Georg Granström
- Jazyk
- Rok vydání
- 2011
- product-detail.submit-box.info.binding
- (pevná)
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.