Recursively enumerable sets and degrees a study of computable functions and computably generated sets

Библиографические подробности
Главный автор: Soare, Robert Irving 1940-
Формат:
Опубликовано: Berlin Springer-Verlag 1987.
Серии:Perspectives in mathematical logic.
Предметы: