"Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968" - читать интересную книгу автора (Anne S. Troelstra)