Хаханян, В. Х. Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой [Текст] / В. Х. Хаханян // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С. 92-105. . - Библиогр. в примеч. - Примеч.: с. 104-105
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): теория множеств -- математическая логика -- интуиционистская логика -- интуиционизм -- интуиционистская математика Аннотация: В статье предлагается формализованный вариант теории множеств с подлежащей интуиционистской логикой, который мог бы играть роль аксиоматической базисной системы теории множеств и был бы признаваем исследователями других направлений в основаниях математики (классиками, интуиционистами, конструктивистами и т. д. ) как нейтральный по отношению к развиваемым ими вариантами теории множеств. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |