Natural Deduction: A Proof-theoretical Study (Dover Books on Mathematics)
Kurzinformation
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
"Natural Deduction: A Proof-theoretical Study" von Dag Prawitz ist ein bedeutendes Werk in der Logik und Mathematik, das sich mit der Theorie des natürlichen Schließens befasst. Das Buch untersucht die formalen Grundlagen der natürlichen Deduktion, einer Methode des Beweisens in der mathematischen Logik, die auf intuitiven Prinzipien basiert und es ermöglicht, logische Folgerungen schrittweise herzuleiten. Prawitz bietet eine detaillierte Analyse der Struktur und Eigenschaften natürlicher Deduktionssysteme und diskutiert deren Anwendung in verschiedenen logischen Kalkülen. Er legt besonderen Wert auf die Beweisbarkeitstheorie und entwickelt Konzepte wie Normalisierung und den Substitutionsbegriff weiter. Das Buch ist sowohl theoretisch anspruchsvoll als auch von grundlegender Bedeutung für das Verständnis moderner logischer Systeme. Durch seine präzise Darstellung macht Prawitz das Thema zugänglich für Leser mit einem fortgeschrittenen Interesse an Logik, Mathematik oder Philosophie. Dieses Werk gilt als einflussreich in der Entwicklung proof-theoretischer Methoden und bleibt ein wichtiger Bezugspunkt für Forscher in diesen Bereichen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Hardcover
- 228 Seiten
- Erschienen 1989
- Springer
- paperback
- 268 Seiten
- Erschienen 2014
- Routledge
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
- Hardcover
- 432 Seiten
- Erschienen 2002
- Cambridge University Press
- Taschenbuch
- 242 Seiten
- Erschienen 2008
- Dover Pubn Inc
-
-
- 408 Seiten
- Erschienen 2008
- Wiley & Sons
- Taschenbuch
- 336 Seiten
- Erschienen 2009
- Cambridge University Press
- Gebunden
- 326 Seiten
- Erschienen 2018
- Springer
- hardcover
- 427 Seiten
- Erschienen 1986
- North-Holland
- Hardcover
- 276 Seiten
- Erschienen 2013
- Cambridge University Press