Home › Authors › J. Goubault-Larrecq 👤 J. Goubault-Larrecq 1 book Books by J. Goubault-Larrecq Proof Theory and Automated Deduction 1997