Recursion theory - Shoenfield, Joseph R. (Lecture Notes in Logic ;, 1993)