|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Interpolation in superintuitionistic and modal predicate logics with equalityстатья
Информация о цитировании статьи получена из
Web of Science
Дата последнего поиска статьи во внешних источниках: 26 августа 2016 г.
- Автор: Maksimova Larisa
- Сборник: Advances in Modal Logic
- Серия: Advances in Modal Logic
- Том: 1
- Год издания: 1998
- Место издания: CSLI Publications Stanford, USA
- Первая страница: 133
- Последняя страница: 140
- Добавил в систему: Золин Евгений Евгеньевич