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