Recursively enumerable sets and degrees : a study of computable functions and computably generated sets /
Robert I. Soare.
- Berlin ; New York : Springer-Verlag , 1987.
- xv111 , 437 p. : ill. ; 25 cm.
- Perspectives in mathematical logic. .
Includes bibliographical references (p. [389] -418) and index.