Драгалин А.Г.
Конструктивная теория доказательств и нестандартный анализ
Введение в математическую логику
Математический интуиционизм. Введение в теорию доказательств
Резонансы. Настройка на источники Энергии