Цитирование APA (7-е изд.)
ebrary, Inc, & Detlefsen, M. (1992). Proof, logic, and formalization. Routledge.
Цитирование в стиле Чикаго (17-е изд.)
ebrary, Inc, и Michael Detlefsen. Proof, Logic, and Formalization. London ; New York: Routledge, 1992.
Цитирование MLA (9-е изд.)
ebrary, Inc, и Michael Detlefsen. Proof, Logic, and Formalization. Routledge, 1992.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.