|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Корректность базисной логики предикатов относительно модифицированного варианта строгой примитивно-рекурсивной реализуемостистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Коновалов Александр Юрьевич
- Журнал: Математические заметки
- Том: 114
- Номер: 6
- Год издания: 2023
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 827
- Последняя страница: 847
- DOI: 10.4213/mzm13723
- Добавил в систему: Коновалов Александр Юрьевич