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