"Математический интуиционизм. Введение в теорию доказательств" - читать интересную книгу автора (Драгалин.)