Ein kompakter Leitfaden, der die theoretische Basis von Berechenbarkeit und Logik vermittelt, Turingmaschinen, Entscheidungsprobleme und formale Beweissysteme anschaulich verbindet und praxisnahe Beispiele aus Informatik und Mathematik einbindet.