Text this: Proof analysis a contribution to Hilbert's last problem / Sara Negri, Jan von Plato. [electronic resource] :