Die Vorlesung deckt im Wesentlichen Themen ab, die auch im Buch

  • Kreuzer, Kühling. Logik für Informatiker. Pearson, neueste Auflage,

behandelt werden. Es gibt jedoch Unterschiede hinsichtlich der Notation. Von diesem Buch sind viele Exemplare in der Bibliothek verfügbar.