Παραπομπή APA

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

Παραπομπή Chicago Style

Goubault-Larrecq, Jean, and Ian Mackie. Proof Theory and Automated Deduction. Dordrecht: Kluwer Academic Publishers, 1997.

Παραπομπή MLA

Goubault-Larrecq, Jean, and Ian Mackie. Proof Theory and Automated Deduction. Dordrecht: Kluwer Academic Publishers, 1997.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.