Proof Theory And Automated Deduction door Jean Goubault-Larrecq & Ian MacKie