Стукачев А.И. — Sigma-определимость в наследственно конечных надстройках и пары моделей :: Электронная библиотека попечительского совета мехмата МГУ

Авторизация

Поиск по указателям

Стукачев А.И. — Sigma-определимость в наследственно конечных надстройках и пары моделей

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Sigma-определимость в наследственно конечных надстройках и пары моделей

Автор: Стукачев А.И.

Язык:

Тип: Статья

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2005

Количество страниц: 23

Добавлена в каталог: 21.01.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

О проекте