Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Treatise on Intuitionistic Type Theory, Johan Georg Granström
- Langue
- Année de publication
- 2011
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .