|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
On the imbedding of formal arithmetic in combinatorially complete systemsстатья
Информация о цитировании статьи получена из
Web of Science
Дата последнего поиска статьи во внешних источниках: 18 июля 2016 г.
- Авторы: Kuzichev A.A., Kuzichev A.S.
- Журнал: Doklady Akademii nauk SSSR
- Том: 21
- Год издания: 1980
- Издательство: Akademiia Nauk Sssr
- Местоположение издательства: Russian Federation
- Первая страница: 311
- Последняя страница: 316
- Добавил в систему: Кузичев Александр Сергеевич