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

Detalles Bibliográficos
Autor principal: Soare, Robert Irving 1940-
Formato: Libro
Publicado: Berlin Springer-Verlag 1987.
Colección:Perspectives in mathematical logic.
Materias: