Logik für Informatiker. - Martin Kreuzer; Stefan Kühling (Pearson Studium, 2006)

Alles logisch, oder was? - Martin Kreuzer; Stefan Kühling (Inform. Spektrum, 2009)