Detlefsen, M. (1992). Proof, logic and formalization. London: Routledge.
Παραπομπή Chicago StyleDetlefsen, Michael. Proof, Logic and Formalization. London: Routledge, 1992.
Παραπομπή MLADetlefsen, Michael. Proof, Logic and Formalization. London: Routledge, 1992.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.