Hi,
ich kann Dir leider nur die Klausur von 2003 auf cowhen.org/uni anbieten. Die Vorlesung orientierte sich -als ich sie bei Steffens gehört habe- an:
Schöning: 'Logik für Informatiker', 5. Aufl., Spektrum Akademischer Verlag, 2000
Das Buch fand ich auch recht hilfreich, ersetzt eventuell ein Skript.