|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Схемы рефлексии и алгебры доказуемости в формальной арифметикестатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 29 февраля 2016 г.
- Автор: Беклемишев Л.Д.
- Журнал: Успехи математических наук
- Том: 60
- Номер: 2(362)
- Год издания: 2005
- Издательство: ФГБУ "Издательство "Наука"
- Местоположение издательства: Москва
- Первая страница: 3
- Последняя страница: 78
- DOI: 10.4213/rm1401
- Добавил в систему: Беклемишев Лев Дмитриевич