Построение непротиворечивой математики как процедуры логического вывода. Использование в качестве универсума собственного класса для обеспечения наибольшей надёжности процедуры логического вывода
Автор: Титков Г.К.
Журнал: Академический журнал Западной Сибири @ajws
Рубрика: Физика. Математика
Статья в выпуске: 1 (44) т.9, 2013 года.
Бесплатный доступ
Короткий адрес: https://sciup.org/140220882
IDR: 140220882
Список литературы Построение непротиворечивой математики как процедуры логического вывода. Использование в качестве универсума собственного класса для обеспечения наибольшей надёжности процедуры логического вывода
- Френкель А.А., Бар-Хиллел И. Основания теории множеств. -М.: «Мир», 1966.
Статья
