"Shoenfield, J.R." Recursion Theory - New York S.V 1993 - 77 ISBN: 387570934 Dewey Class. No.: 511 / 35 SHO