Dieses Buch ist als Hilfsmittel für die Logikausbildung beim Informatikstudium konzipiert.
Es führt in die Begriffe und Methoden der formalen Logik ein. Die Materialauswhl orientiert sich dabei an der Anwendbarkeit in der Informatik. Aussagenlogik und die darauf aufbauende Prädikatenlogik werden behandelt. Damit soll ein Verständnis für moderne Anwendungen der Logik in der Informatik vermittelt werden. Solche Anwendungen sind z.B. Resolution, automatisches Beweisen und Logik-programmierung.
Ein Schwerpunkt der Darstellung ist der Resolutionskalkül, der die Grundlage der meisten Beweisverfahren und der Logikprogrammierung bildet, so auch im Rahmen der Programmiersprache PROLOG.
Außerdem werden die für das Verständnis notwendigen Grundlagen vermittelt, etwa die Herbrand-Theorie.
Das Buch enthält über 100 Aufgaben mit Lösungshinweisen.