|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
European Summer Meeting of the Association for Symbolic Logic, Book of abstractsсборник
- Год издания: 2021
- Серия: Logic Colloquium
- Место издания: Poznań
- Сборник тезисов
- Добавил в систему: Петрухин Ярослав Игоревич
Статьи, опубликованные в сборнике
-
- 2021 Cut-free proof systems for non-standard modal logics based on S5
- Petrukhin Yaroslav
- в сборнике European Summer Meeting of the Association for Symbolic Logic, Book of abstracts, серия Logic Colloquium, место издания Poznań, тезисы, с. 176