Ein kompakter Einstieg in die theoretische Informatik: das Buch führt systematisch von Mengenlehre über Relationen bis zu endlichen Automaten, verknüpft Logik mit Algorithmen und bietet anschauliche Beweise für zentrale Konzepte.