Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт использования более сильной формы определения универсума
Автор: Титков Г.К.
Журнал: Академический журнал Западной Сибири @ajws
Рубрика: Физика. Математика
Статья в выпуске: 3 (46) т.9, 2013 года.
Бесплатный доступ
Короткий адрес: https://sciup.org/140220968
IDR: 140220968
Текст статьи Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт использования более сильной формы определения универсума
Список литературы Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт использования более сильной формы определения универсума
- Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт дальнейшего обобщения формулировки второго элемента формальной схемы//Академический журнал Западной Сибири. -2013. -Том 9, № 3.
- Френкель А.А., Бар-Хиллел И. Основания теории множеств. -М.: Мир, 1966.
Статья
