"Formalism and Intuitionism" - читать интересную книгу автора (Brouwer Lej)