|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Strong conservativity and completeness for fragments of infinitary action logicстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus- Автор: Kuznetsov S.L.
- Журнал: Сибирские электронные математические известия
- Том: 21
- Номер: 2
- Год издания: 2024
- Первая страница: 789
- Последняя страница: 809
- Добавил в систему: Кузнецов Степан Львович