Ершов Ю.Л

Изданий в каталоге: 5

Кратно нормированные поля
2000
Определимость и вычислимость
1996
Математическая логика
1987; совм. с Палютин Е.А
Проблемы разрешимости и конструктивные модели
1980
Теория нумераций