Proof Theory and Algebra in Logic (Short Textbooks in Logic)
Kurzinformation
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Proof Theory and Algebra in Logic" von Hiroakira Ono ist ein Buch, das sich mit der Verbindung zwischen Beweistheorie und algebraischen Methoden in der Logik beschäftigt. Es gehört zur Reihe "Short Textbooks in Logic" und bietet eine kompakte Einführung in die grundlegenden Konzepte dieser beiden Bereiche. Das Buch untersucht, wie algebraische Strukturen verwendet werden können, um logische Systeme zu analysieren und zu verstehen. Es deckt Themen wie Galois-Verbindungen, Modallogik und die Anwendung von Universalalgebra auf logische Probleme ab. Ziel des Buches ist es, den Lesern ein tieferes Verständnis für die Interaktion zwischen algebraischen Konzepten und logischen Systemen zu vermitteln und ihnen Werkzeuge an die Hand zu geben, um komplexe logische Probleme zu lösen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
