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% үнэн зөв биш байж магадгүй.