Natural Deduction: A Proof-theoretical Study (Dover Books on Mathematics)
Kurzinformation
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
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.
