Proof theory and automated deduction - Goubault-Larrecq Jean; Mackie Ian (Dordrecht Kluwer Academic, 1997)
Keywords: Proof theory