|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
On Kripke completeness of modal and superintuitionistic predicate logics with equalityтезисы доклада
- Авторы: Shehtman V.B., Skvortsov D.P.
- Сборник: 8th International Conference on Topology, Algebra and Categories in Logic (TACL 2017)
- Серия: TACL
- Тезисы
- Год издания: 2017
- Первая страница: 1
- Последняя страница: 2
- Добавил в систему: Золин Евгений Евгеньевич