Gabbay, D. M., & Olivetti, N. (2000). Goal-directed proof theory. Kluwer.
Chicago-Zitierstil (17. Ausg.)Gabbay, Dov M., und Nicola Olivetti. Goal-directed Proof Theory. Dordrecht [u.a.]: Kluwer, 2000.
MLA-Zitierstil (9. Ausg.)Gabbay, Dov M., und Nicola Olivetti. Goal-directed Proof Theory. Kluwer, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.