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