Recursion theory

Joseph R. Shoenfield
A.K. Peters
9781568811499
1-56881-149-7