|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHCстатья
Статья опубликована в журнале из списка RSCI Web of Science
- Автор: Оноприенко А.А.
- Журнал: Доклады Российской академии наук. Математика, информатика, процессы управления
- Том: 514
- Номер: 1
- Год издания: 2023
- Издательство: Российская академия наук
- Местоположение издательства: Москва
- Первая страница: 123
- Последняя страница: 128
- Аннотация: В данной заметке доказаны аналоги теорем Эрбрана и Харропа для логики QHC.
- Добавил в систему: Оноприенко Анастасия Александровна