Kleine Büning, H., & Lettmann, T. (1994). Aussagenlogik: Deduktion und Algorithmen. Teubner.
Chicago-Zitierstil (17. Ausg.)Kleine Büning, Hans, und Theodor Lettmann. Aussagenlogik: Deduktion Und Algorithmen. Stuttgart: Teubner, 1994.
MLA-Zitierstil (9. Ausg.)Kleine Büning, Hans, und Theodor Lettmann. Aussagenlogik: Deduktion Und Algorithmen. Teubner, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.