Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт формализации определения универсума

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

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

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

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

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

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

IDR: 140220970

Список литературы Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт формализации определения универсума

  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт использования более сильной формы определения универсума//Академический журнал Западной Сибири. -2013. -Том 9, № 3.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт формализации связи между элементами//Академический журнал Западной Сибири. -2013. -Том 9, № 3.
Статья