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

1979, изд-во: Наука, город: Москва, стр. : 256 стр., обложка: Твердый издательский переплет с суперобложкой., формат: Обычный, состояние: Отличное. Не читали. . В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики. Изложение характеризуется высоким уровнем строгости, основные теории описываются в виде формальных аксиоматических систем, тщательно исследуются взаимоотношения классических и интуиционистских теорий. При анализе интуиционистских систем широко применяются методы теории интуиционистских моделей - новой быстро развивающейся области математической логики.