Title: Proof theory in computer science
Subjects: Congresses, Automatic theorem proving, Proof theory