APA-Zitierstil (7. Ausg.)

Goubault-Larrecq, J., & Mackie, I. (1997). Proof theory and automated deduction. Kluwer.

Chicago-Zitierstil (17. Ausg.)

Goubault-Larrecq, Jean, und Ian Mackie. Proof Theory and Automated Deduction. Dordrecht [u.a.]: Kluwer, 1997.

MLA-Zitierstil (9. Ausg.)

Goubault-Larrecq, Jean, und Ian Mackie. Proof Theory and Automated Deduction. Kluwer, 1997.