"The Nature of Mathematical Proof (Philosophical Transactions of the Royal Society A)" - читать интересную книгу автора (Alan Bundy, Michael Atiyah, Angus Macintyre, Donald MacKenzie (Editors))