Recursion theory - Shoenfield, Joseph R. (Lecture Notes in Logic /K.Fine, J.-Y.Girard, A. Lachlan, T. Slaman, H. Woodin ;, 1993)