An Invitation to Mathematical Logic (Graduate Texts in Mathematics, 301, Band 301)

"An Invitation to Mathematical Logic" von David Marker ist ein Buch, das als Einführung in die mathematische Logik konzipiert ist und sich an fortgeschrittene Studenten richtet. Es gehört zur Reihe "Graduate Texts in Mathematics" und bietet eine umfassende Darstellung der grundlegenden Konzepte und Theorien der mathematischen Logik. Der Autor beginnt mit einer Einführung in die Sprache der Logik, einschließlich Aussagenlogik und Prädikatenlogik. Danach behandelt er zentrale Themen wie Modelle, Beweise, Rekursionstheorie und Mengentheorie. Ein besonderer Fokus liegt auf den Anwendungen der Logik in verschiedenen Bereichen der Mathematik sowie auf wichtigen Sätzen wie dem Unvollständigkeitssatz von Gödel. Das Buch zeichnet sich durch klare Erklärungen und zahlreiche Beispiele aus, die den Lesern helfen sollen, ein tiefes Verständnis für die Materie zu entwickeln. Es enthält zudem Übungen, die dazu beitragen, das Gelernte zu festigen und anzuwenden. Insgesamt bietet Markers Werk eine solide Grundlage für weiterführende Studien in der mathematischen Logik.