"Principles of Intuitionism" - читать интересную книгу автора (Troelstra A.S.)