APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Proof, Logic, and Formalization. Routledge, 1992.

Warning: These citations may not always be 100% accurate.