Title: Arithmetic, proof theory, and computational complexity
Subjects: Computational complexity, Proof theory