General Recursion Theory: An Axiomatic Approach (Perspectives in Mathematical Logic)
Kurzinformation
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"General Recursion Theory: An Axiomatic Approach" von J. E. Fenstad ist ein bedeutendes Werk im Bereich der mathematischen Logik, das sich mit der Theorie der allgemeinen Rekursion befasst. Das Buch bietet einen umfassenden Überblick über die rekursive Funktionslehre und entwickelt eine axiomatische Grundlage für das Studium der Rekursionstheorie. Fenstad untersucht die grundlegenden Konzepte und Theoreme der Rekursionstheorie und präsentiert diese in einem strukturierten, formalen Rahmen. Er diskutiert verschiedene Klassen von rekursiven Funktionen und deren Eigenschaften sowie die Beziehung zwischen Rekursionstheorie und anderen Bereichen der Mathematik, wie zum Beispiel der Mengenlehre und der Modelltheorie. Das Buch richtet sich an Leser mit einem fortgeschrittenen Verständnis von mathematischer Logik und bietet sowohl theoretische Einsichten als auch praktische Anwendungen in diesem komplexen Forschungsgebiet.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Hardcover
- 456 Seiten
- Erschienen 2013
- Springer
- perfect
- 382 Seiten
- Erschienen 1976
- Meiner, F
- Hardcover
- 432 Seiten
- Erschienen 2002
- Cambridge University Press