Complexity of computations and proofs (Aracne, 2004)