|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
A New Proof of the Decidability of the Elementary Theory of Linearly Ordered Setsстатья
Информация о цитировании статьи получена из
Scopus,
Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 31 октября 2014 г.
- Автор: Vereshchagin N.
- Журнал: Mathematical Notes
- Том: 47
- Год издания: 1990
- Издательство: Pleiades Publishing, Ltd
- Местоположение издательства: Road Town, United Kingdom
- Первая страница: 444
- Последняя страница: 449
- DOI: 10.1007/BF01158085
- Добавил в систему: Верещагин Николай Константинович