Arithmetic, proof theory and computational complexity /
Clote, Peter.
Krajicek, Jan.
Oxford : Clarendon,
1993.