Complexity of computations and proofs - Krajíček, Jan, 1946- (Quaderni di matematica, 2003)