APA (7th ed.) Citation

Gabbay, D. M., & Olivetti, N. (2000). Goal-Directed Proof Theory. Springer Netherlands.

Chicago Style (17th ed.) Citation

Gabbay, Dov M., and Nicola Olivetti. Goal-Directed Proof Theory. Dordrecht: Springer Netherlands, 2000.

MLA (9th ed.) Citation

Gabbay, Dov M., and Nicola Olivetti. Goal-Directed Proof Theory. Springer Netherlands, 2000.