Introduction to Mathematical Logic (University Series in Undergraduate Mathematics)

"Introduction to Mathematical Logic" von Elliott Mendelson ist ein umfassendes Lehrbuch, das grundlegende Konzepte und Techniken der mathematischen Logik behandelt. Es richtet sich an Studierende der Mathematik und Informatik sowie an alle, die ein tieferes Verständnis der formalen Logik entwickeln möchten. Das Buch beginnt mit einer Einführung in die Aussagenlogik, einschließlich Syntax, Semantik und verschiedenen Methoden des Beweises. Anschließend wird die Prädikatenlogik erster Stufe behandelt, wobei Themen wie Quantoren, Modelle und Theorien ausführlich erläutert werden. Mendelson führt auch in die Metamathematik ein und diskutiert wichtige Ergebnisse wie den Gödelschen Unvollständigkeitssatz. Weitere Kapitel befassen sich mit rekursiven Funktionen, Berechenbarkeitstheorie und formalen Systemen. Der Autor legt besonderen Wert auf präzise Definitionen und strenge Beweisführungen, um den Lesern eine solide Grundlage in der mathematischen Logik zu vermitteln. Durch zahlreiche Beispiele und Übungsaufgaben bietet das Buch nicht nur theoretisches Wissen, sondern auch praktische Anwendungsmöglichkeiten. Insgesamt ist "Introduction to Mathematical Logic" eine wertvolle Ressource für alle, die sich intensiv mit den Grundlagen der Logik auseinandersetzen möchten.