Leserbewertungen
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 7 Stimmen.
Originaltitel:
Higher-Order Logic and Type Theory
Inhalt des Buches:
Eine Erläuterung der Logik zweiter und höherer Ordnung und der Typentheorie.
Sie umfasst die Syntax und Semantik der klassischen Logik zweiter Ordnung und eine Diskussion der Logik höherer Ordnung, die auf dem Konzept eines Typs basiert. Außerdem werden die Ursprünge und das Wesen der Typentheorie, ihre Beziehung zur Mengenlehre und Beschreibungen zeitgenössischer Formen der Typentheorie behandelt.
Weitere Daten des Buches:
| ISBN: | 9781108986908 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2022 |
| Seitenzahl: | 75 |
Kauf:
Derzeit verfügbar, auf Lager.
