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

Detalhes bibliográficos
Autor principal: Soare, Robert Irving 1940-
Formato: Livro
Publicado em: Berlin Springer-Verlag 1987.
coleção:Perspectives in mathematical logic.
Assuntos: