APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Goubault-Larrecq, Jean, and I. Mackie. Proof Theory and Automated Deduction. Dordrecht ; Boston: Kluwer Academic, 1997.

MLA (9th ed.) Citation

Goubault-Larrecq, Jean, and I. Mackie. Proof Theory and Automated Deduction. Kluwer Academic, 1997.