|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Sahlqvist formulas are not so elementary even above S4статья
- Авторы: Chagrov Alexander, Zakharyaschev Michael
- Сборник: Logic Colloquium '92
- Серия: Studies in Logic Language and Information
- Год издания: 1996
- Место издания: CSLI Publications
- Первая страница: 61
- Последняя страница: 73
- Добавил в систему: Золин Евгений Евгеньевич