APA-Zitierstil (7. Ausg.)

(1992). Proof, logic, and formalization. Routledge.

Chicago-Zitierstil (17. Ausg.)

Proof, Logic, and Formalization. London: Routledge, 1992.

MLA-Zitierstil (9. Ausg.)

Proof, Logic, and Formalization. Routledge, 1992.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.