APA (7th ed.) Citation
ebrary, Inc, & Detlefsen, M. (1992). Proof, logic, and formalization. Routledge.
Chicago Style (17th ed.) Citation
ebrary, Inc, and Michael Detlefsen. Proof, Logic, and Formalization. London ; New York: Routledge, 1992.
MLA (9th ed.) Citation
ebrary, Inc, and Michael Detlefsen. Proof, Logic, and Formalization. Routledge, 1992.
Warning: These citations may not always be 100% accurate.