Ein einfühlsamer Leitfaden, der die zentralen Themen der mathematischen Logik – von Mengenlehre über Aussagenlogik bis zur Modelltheorie – in klar strukturierte Kapitel gliedert und mit anschaulichen Beispielen lebendig macht.