"Proof Analysis: A Contribution to Hilbert's Last Problem" - читать интересную книгу автора (Sara Negri, Jan von Plato)