|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Natural deduction rules for Tomova's natural implicationsдоклад на конференции
- Авторы: Shangin Vasilyi, Petrukhin Yaroslav
- Международная Конференция : XIII международная конференция "Современная логика: проблемы и перспективы"
- Даты проведения конференции: 31 мая - 2 июня 2018
- Дата доклада: 31 мая 2018
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Санкт-Петербург, Russia
- Добавил в систему: Петрухин Ярослав Игоревич