Arithmetic, proof theory , and computational complexity - Clote Peter; Krajicek Jan (1993)