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

Détails bibliographiques
Auteur principal: Soare, Robert Irving 1940-
Format: Livre
Publié: Berlin Springer-Verlag 1987.
Collection:Perspectives in mathematical logic.
Sujets: