Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Reasoning in Simple Type Theory ist eine Sammlung von Aufsätzen, die Nachdrucke von acht grundlegenden Aufsätzen auf diesem Gebiet sowie dreizehn neue Beiträge enthält.
Für die Nachdrucke haben wir eine Arbeit von Alonzo Church (Einführung in seine einfache Typentheorie), eine Arbeit von Leon Henkin (Beweis der Vollständigkeit von Churchs Typentheorie im Vergleich zu Henkins Semantik) und einige der wichtigsten Arbeiten von Peter Andrews ausgewählt. Die neuen Artikel wurden von Peter Andrews und seinen Studenten und Mitarbeitern sowie von einer Reihe von Forschern, die von seiner Arbeit beeinflusst wurden, beigesteuert.
Der Band will die historische Entwicklung dieses wichtigen Bereichs des formalen Schließens bis zum heutigen Stand der Technik aufzeigen und erscheint zu Ehren von Peter Andrews an seinem 70.
| ISBN: | 9781904987703 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
