Arithmetics, Proof Theory, and Computational Complexity - Clote, Peter, 1951-; Krajíček, Jan, 1946- (Oxford Science Publications, 1993)