Complexity of computations and proofs - Krajíček, Jan, 1946- (Dipartimento di Matematica della Seconda Università di Napoli, 2003)