Ein kompakter Einstieg in Berechenbarkeit und Logik, der die Wechselwirkung zwischen Algorithmen, Entscheidungsproblemen und formalen Beweissystemen anschaulich darstellt, wobei aktuelle Beispiele aus Informatik und Mathematik integriert werden.