Computability an introduction to recursive function theory - Cutland Nigel (Cambridge C U P, 1980)
Keywords: Recursion theory