Ein kompakter Leitfaden für fortgeschrittene Studierende, der knappe Aufgaben zur Mengenlehre, mathematischen Logik und Algorithmustheorie präsentiert; jedes Problem fordert kreative Beweisstrategien und vertieft das Verständnis abstrakter Konzepte.