|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Cut-free sequent calculi for some theories of definite descriptionsдоклад на конференции
- Автор: Indrzejczak Andrzej
- Международная Конференция : Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года
- Даты проведения конференции: 19-21 июня 2019
- Дата доклада: 19 июня 2019
- Тип доклада: Пленарный
- Докладчик: не указан
- Место проведения: Философский факультет, МГУ имени М. В. Ломоносова, Russia
- Добавил в систему: Петрухин Ярослав Игоревич