Παραπομπή σε μορφή APA (7η εκδ.)
ebrary, Inc, & Detlefsen, M. (1992). Proof, logic, and formalization. Routledge.
Παραπομπή σε μορφή Chicago (17η εκδ.)
ebrary, Inc, και Michael Detlefsen. Proof, Logic, and Formalization. London ; New York: Routledge, 1992.
Παραπομπή σε μορφή MLA (9th εκδ.)
ebrary, Inc, και Michael Detlefsen. Proof, Logic, and Formalization. Routledge, 1992.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.