Das Buch "Einführung in die mathematische Logik" bietet eine umfassende Einführung in die Grundlagen der mathematischen Logik und deren Anwendungen. Es behandelt zentrale Fragen wie die Natur mathematischer Beweise, deren Rechtfertigung und die Grenzen der Beweisbarkeit. Die Autoren, Wolfgang Thomas, Heinz-Dieter Ebbinghaus und Jörg Flum, präsentieren die Ergebnisse der mathematischen Logik systematisch, wobei der Fokus auf der Logik erster Stufe liegt. Die Lektüre ist für alle geeignet, die eine gewisse Vertrautheit mit mathematischem Denken mitbringen, jedoch keine speziellen Vorkenntnisse benötigen. In der aktuellen Auflage wurden zudem Lösungsskizzen zu den Aufgaben hinzugefügt, um das Verständnis zu fördern. Diese überarbeitete Ausgabe enthält auch neue Inhalte zu entscheidenden Ergebnissen, die für Logik und Informatik von Bedeutung sind.