Ein kompakt gestaltetes Werk, das die theoretische Basis der Berechenbarkeit mit Aufzählbarkeit verbindet und zeigt, wie bestimmte Entscheidungsprobleme unlösbar bleiben – ein klarer Blick auf Rekursionstheorie und ihre Grenzen.