Rautenberg, Wolfgang Einführung in die Mathematische Logik: Ein Lehrbuch (Studium)

'Einführung in die Mathematische Logik: Ein Lehrbuch' von Wolfgang Rautenberg bietet eine umfassende Einführung in die Grundlagen der mathematischen Logik. Das Buch ist darauf ausgelegt, Studierenden ein solides Verständnis der logischen Prinzipien und Theorien zu vermitteln, die für das Studium der Mathematik und Informatik essenziell sind. Der Inhalt gliedert sich in mehrere Hauptbereiche: Aussagenlogik, Prädikatenlogik, Beweistheorie, Modelltheorie und Rekursionstheorie. Beginnend mit den grundlegenden Konzepten der Aussagenlogik werden Leser schrittweise an komplexere Themen herangeführt. Die Prädikatenlogik wird ausführlich behandelt, einschließlich ihrer Syntax und Semantik sowie verschiedener Beweismethoden. Darüber hinaus widmet sich das Buch der Untersuchung formaler Systeme und deren Konsistenz sowie Unvollständigkeitssätzen. Modelle und ihre Eigenschaften werden in der Modelltheorie betrachtet, während die Rekursionstheorie einen Einblick in Berechenbarkeitsfragen gibt. Rautenbergs Lehrbuch ist bekannt für seine klare Darstellung und didaktisch gut aufbereiteten Inhalte, ergänzt durch zahlreiche Beispiele und Übungsaufgaben zur Vertiefung des Gelernten. Es richtet sich vor allem an Studierende der Mathematik und Informatik im Grund- oder Masterstudium, bietet aber auch wertvolle Einblicke für alle, die ein tieferes Verständnis der logischen Strukturen suchen.