Rautenberg, Wolfgang Logik und Grundlagen der Mathematik, Band 22: Klassische und nichtklassische Aussagenlogik

'Logik und Grundlagen der Mathematik, Band 22: Klassische und nichtklassische Aussagenlogik' von Wolfgang Rautenberg bietet eine umfassende Einführung in die Aussagenlogik, sowohl in ihrer klassischen als auch in ihren nichtklassischen Formen. Das Buch beginnt mit einer detaillierten Darstellung der klassischen Aussagenlogik, einschließlich ihrer Syntax, Semantik und der grundlegenden Techniken des Beweisens. Anschließend werden verschiedene nichtklassische Logiken untersucht, wie zum Beispiel modale Logiken, intuitionistische Logiken und mehrwertige Logiken. Rautenberg legt besonderen Wert auf die formalen Eigenschaften dieser Systeme und ihre Anwendungen in verschiedenen Bereichen der Mathematik und Informatik. Durch zahlreiche Beispiele und Übungen wird das Verständnis der theoretischen Konzepte gefördert, was das Buch zu einer wertvollen Ressource für Studierende und Fachleute macht, die sich mit logischen Systemen auseinandersetzen möchten.