Построение непротиворечивой математики как процедуры логического вывода. Обобщение одного неконструктивного непосредственного определения универсума
Автор: Титков Г.К.
Журнал: Академический журнал Западной Сибири @ajws
Рубрика: Физика. Математика
Статья в выпуске: 6 (49) т.9, 2013 года.
Бесплатный доступ
Короткий адрес: https://sciup.org/140221335
IDR: 140221335
Список литературы Построение непротиворечивой математики как процедуры логического вывода. Обобщение одного неконструктивного непосредственного определения универсума
- Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Возврат к непосредственному определению универсума//Академический журнал Западной Сибири. -2013. -№ 5.
- Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Возврат к непосредственному определению универсума. Конструктивизация метода//Академический журнал Западной Сибири. -2013. -№ 5.
- Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Возврат к непосредственному определению универсума. Более сложная конструктивизация метода//Академический журнал Западной Сибири. 2013, № 5.
Статья
