Главная
Новости
Оформление статьи
Архив
Авторы
Поиск
Вход
Урсу В. И.
Публикации в СМЖ:
Урсу В. И.
Рекурсивная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий многообразий
//
Том 41 (2000), Номер 3
, стр. 696–711
© Сибирский Математический Журнал, 2003-2006