Построение непротиворечивой математики как процедуры логического вывода. Обобщение одного неконструктивного непосредственного определения универсума

Автор: Титков Г.К.

Журнал: Академический журнал Западной Сибири @ajws

Рубрика: Физика. Математика

Статья в выпуске: 6 (49) т.9, 2013 года.

Бесплатный доступ

Короткий адрес: https://sciup.org/140221335

IDR: 140221335

Список литературы Построение непротиворечивой математики как процедуры логического вывода. Обобщение одного неконструктивного непосредственного определения универсума

  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Возврат к непосредственному определению универсума//Академический журнал Западной Сибири. -2013. -№ 5.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Возврат к непосредственному определению универсума. Конструктивизация метода//Академический журнал Западной Сибири. -2013. -№ 5.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Возврат к непосредственному определению универсума. Более сложная конструктивизация метода//Академический журнал Западной Сибири. 2013, № 5.
Статья