Recursion theory - Shoenfield, Joseph R. (Joseph Robert), 1927.; Fine, K. (Berlin Springer-Verlag, 1993)
Keywords: Recursion theory