Alternativ zu unseren Skripten wird meines Erachtens in sehr bildlicher Darstellung der Zusammenhänge und pro Kapitel auch in einem praxisbezogenem Stil (Warum brauche ich das und wofür setze ich es ein?) die Thematik an der Uni Lübeck beleuchtet.

Einen Blick auf die Skripten "Logik" und "Theoretische Informatik" von Professor Till Tantau gibts hier:

http://www.tcs.uni-luebeck.de/lehre/2009-ws/logik/wiki/Vorlesung
http://www.tcs.uni-luebeck.de/lehre/2009-ws/ti/wiki/Vorlesung

Schön, werde es mir bestimmt ansehen! THX :)