APA (7th ed.) մեջբերում
ebrary, Inc, & Detlefsen, M. (1992). Proof, logic, and formalization. Routledge.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերում
ebrary, Inc, and Michael Detlefsen. Proof, Logic, and Formalization. London ; New York: Routledge, 1992.
MLA (9րդ խմբ.) Մեջբերում
ebrary, Inc, and Michael Detlefsen. Proof, Logic, and Formalization. Routledge, 1992.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.