Ein einführendes Buch, das Logik als Werkzeug für mathematische Argumentation darstellt: von Aussagen‑ bis Prädikatenlogik, mit klaren Definitionen, anschaulichen Beweisen und praxisnahen Aufgaben zur Vertiefung.