Computability, Enumerability, Unsolvability: Directions in recursion theory
S. C. Bruce, J. W. Coutinho S. B Cooper; S. Barry Cooper; T. A Slaman; Theodore Allen Slaman; S. S Wainer S. S. Wainer T. A. Slaman
Cambridge Cambridge University Press 1996
Acesso online. A biblioteca também possui exemplares impressos.