Recursively enumerable sets and degrees a study of computable functions and computably generated sets - Soare, Robert Irving 1940- (Perspectives in mathematical logic., 1987)