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