Ein kompakter Leitfaden, der die fundamentalen Themen der mathematischen Logik – von Aussagenlogik über Mengen bis zur Unentscheidbarkeit – in klaren Beispielen darstellt und dabei die Grenzen des Denkens aufzeigt.