Detlefsen, M. (1992). Proof, logic, and formalization. Routledge.
Chicago-Zitierstil (17. Ausg.)Detlefsen, Michael. Proof, Logic, and Formalization. London ; New York: Routledge, 1992.
MLA-Zitierstil (9. Ausg.)Detlefsen, Michael. Proof, Logic, and Formalization. Routledge, 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.