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