Schöning, Uwe. Logik für Informatiker. Edited by Spektrum. : Spektrum, Akad. Verl. Heidelberg [u.a.], 2005.

Schöning, Uwe. Logik für Informatiker. : Spektrum, Akad. Verl. Heidelberg [u.a.], 2005.