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