Recursively enumerable sets and degress : a study of computable functions and computably generated sets - Soare, Robert Irving 1940- (Berlín : Springer, 1987)
Bibliografia: p. 389-418.
Keywords: FUNCIONES RECURSIVAS