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