|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
On Analogues of Herbrand’s and Harrop’s Theorems for the Joint Logic of Problems and Propositions QHCстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 10 апреля 2024 г.
- Автор: Onoprienko A.A.
- Журнал: Doklady Mathematics
- Том: 108
- Год издания: 2023
- Издательство: Maik Nauka/Interperiodica Publishing
- Местоположение издательства: Russian Federation
- Первая страница: 528
- Последняя страница: 532
- Добавил в систему: Оноприенко Анастасия Александровна