Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Treatise on Intuitionistic Type Theory, Johan Georg Granström
- Lingua
- Pubblicato
- 2011
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.