Математический интуиционизм Введение в теорию доказательств Серия: Математическая логика и основания математики инфо 12842x.

В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики Изложение характеризуется высоким уровнем строгости, основнбююпшые теории описываются в виде формальных аксиоматических систем, тщательно исследуются взаимоотношения классических и интуиционистских теорий При анализе интуиционистских систем широко применяются методы теории интуиционистских моделей - новой быстро развивающейся облавлогцсти математической логики Книга предназначается для студентов и аспирантов вузов, преподавателей, инженеров, научных работников Автор Альберт Драгалин.