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