Альберт Драгалин — книжные серии
-
Математический интуиционизм. Введение в теорию доказательств Альберт Драгалин
Год издания: 1979 Издательство: Главная редакция физико-математической литературы изд-ва "Наука" Язык: Русский В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики. Изложение характеризуется высоким уровнем строгости, основные теории описываются в виде формальных
