Title: Proof theory and automated deduction
First published: 1997
Subjects: Proof theory, Automatic theorem proving
LC classification: QA9.54 .G68 1997