Title: Computation and proof theory
Subjects: Computational complexity, Congresses, Logic, Symbolic and mathematical, Proof theory, Symbolic and mathematical Logic