|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Quantifier-Free Induction Schema and the Least Element Principleстатья
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 29 февраля 2016 г.
- Автор: Beklemishev L.D.
- Журнал: Proceedings of the Steklov Institute of Mathematics
- Том: 242
- Год издания: 2003
- Издательство: Springer Verlag
- Местоположение издательства: Germany
- Первая страница: 50
- Последняя страница: 66
- Добавил в систему: Беклемишев Лев Дмитриевич