Schöning, U. Spektrum, ed. (2005), Logik für Informatiker , Spektrum, Akad. Verl. Heidelberg [u.a.] .

Schöning, U. (2005), Logik für Informatiker , Spektrum, Akad. Verl. Heidelberg [u.a.] .