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

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