Title: Computational logic and proof theory
Subjects: Automatic theorem proving, Congresses, Symbolic and mathematical Logic