Kreuzer, M., & Kühling, S. (2006). Logik für Informatiker. Pearson Studium.
Chicago-Zitierstil (17. Ausg.)Kreuzer, Martin, und Stefan Kühling. Logik Für Informatiker. München [u.a.]: Pearson Studium, 2006.
MLA-Zitierstil (9. Ausg.)Kreuzer, Martin, und Stefan Kühling. Logik Für Informatiker. Pearson Studium, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.