Siefkes, D. (1992). Formalisieren und beweisen: Logik für Informatiker (2., verb. Aufl.). Vieweg.
Chicago-Zitierstil (17. Ausg.)Siefkes, Dirk. Formalisieren Und Beweisen: Logik Für Informatiker. 2., verb. Aufl. Braunschweig [u.a.]: Vieweg, 1992.
MLA-Zitierstil (9. Ausg.)Siefkes, Dirk. Formalisieren Und Beweisen: Logik Für Informatiker. 2., verb. Aufl. Vieweg, 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.