|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Completeness via Correspondence for Extensions of First Degree Entailment Supplied with Classical Negationдоклад на конференции
- Автор: Petrukhin Yaroslav
- Международная Конференция : PhDs in Logic IX
- Даты проведения конференции: 2-4 мая 2017
- Дата доклада: 4 мая 2017
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Bochum, Germany
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Петрухин Ярослав Игоревич