|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
A version of formalization of Cantor's set theoryстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 19 июля 2016 г.
- Автор: Kuzichev A.S.
- Журнал: Doklady Mathematics
- Том: 60
- Номер: 3
- Год издания: 1999
- Издательство: Maik Nauka/Interperiodica Publishing
- Местоположение издательства: Russian Federation
- Первая страница: 424
- Последняя страница: 426
- Добавил в систему: Кузичев Александр Сергеевич