Inhalt: Auf Vorlesungsskripten basierendes einführendes Lehrbuch zur theoretischen Informatik, das großen Wert auf das Führen von Beweisen legt und sowohl von Studierenden der Informatik ab dem Grundstudium wie auch von Dozenten genutzt werden kann.