Title: Proof complexity and feasible arithmetics
Subjects: Computational complexity, Congresses, Proof theory, Constructive mathematics