APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

Proof, Logic and Formalization. 1. publ. London u.a: Routledge, 1992.

MLA-Zitierstil (9. Ausg.)

Proof, Logic and Formalization. 1. publ. Routledge, 1992.