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