6 works on record
Handbook of proof theory
Feasible mathematics
Proof complexity and feasible arithmetics
3D Computer Graphics
Logic Colloquium '98
2017
Bounded arithmetic