|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Корректность конструктивной теории множеств без аксиомы объемности относительно семантики арифметической реализуемости, основанной на гиперарифметических видахстатья
- Автор: Коновалов А.Ю.
- Журнал: Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
- Том: 24
- Номер: 1
- Год издания: 2020
- Издательство: [б.и.]
- Местоположение издательства: М.
- Первая страница: 73
- Последняя страница: 77
- Добавил в систему: Коновалов Александр Юрьевич