"Roads to Infinity: The Mathematics of Truth and Proof" - читать интересную книгу автора (John C. Stillwell)