Schöning, U. & Spektrum (ed.) (2005).
Logik für Informatiker
. Spektrum, Akad. Verl. Heidelberg [u.a.]. ISBN: 3-8274-1005-3
Schöning, U. (2005).
Logik für Informatiker
. Spektrum, Akad. Verl. Heidelberg [u.a.]. ISBN: 3-8274-1005-3