|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Undecidability of Modal and Intermediate First-Order Logics with Two Individual Variablesстатья
Информация о цитировании статьи получена из
Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 9 июня 2015 г.
- Авторы: Gabbay Dov M., Shehtman Valentin
- Журнал: Journal of Symbolic Logic
- Том: 58
- Номер: 3
- Год издания: 1993
- Издательство: Association for Symbolic Logic
- Местоположение издательства: United States
- Первая страница: 800
- Последняя страница: 823
- DOI: 10.2307/2275098
- Добавил в систему: Золин Евгений Евгеньевич