Computability theory an introduction to recursion theory - Enderton, Herbert B. (Amsterdam, Netherland ; Boston Academic Press, 2011)
Keywords: Recursion theory