Dieses Lehrbuch bietet eine prägnante und eigenständige Einführung in die mathematische Logik, wobei der Fokus auf den grundlegenden Themen der Prädikatenlogik und der Modellentheorie liegt. Mit Beispielen aus verschiedenen Bereichen der Mathematik wie Algebra, linearer Algebra und Analysis veranschaulicht das Buch die Relevanz und Nützlichkeit der Logik im Studium dieser Fachgebiete. Die Autoren beginnen mit einer Darstellung der Mengenlehre und des Auswahlaxioms, wie sie in der Alltagsmathematik verwendet werden. In einem sanften Tempo präsentieren sie einige der ersten wichtigen Ergebnisse der Modellentheorie, gefolgt von einer sorgfältigen Darstellung der natürlichen Deduktion im Stil von Gentzen und einem detaillierten Beweis des Vollständigkeitssatzes von Gödel für die Prädikatenlogik. Das Buch untersucht dann das formale Axiomensystem von Zermelo und Fraenkel, bevor es mit einer umfangreichen Liste von Vorschlägen für weiterführende Studien abschliesst. Der vorliegende Band richtet sich in erster Linie an.