Dieses Buch eröffnet die Welt der Mengenlehre, Modelltheorie und Beweistechnik mit anschaulichen Beispielen aus der Logik und führt den Leser behutsam durch die Prinzipien formaler Mathematik.