Proof analysis : a contribution to Hilbert's last problem - Negri, Sara, 1967- (Cambridge University Press, 2011)