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