Computability and logic - Boolos, George; Burgess, John P. 1948-.; Jeffrey, Richard C. (Cambridge Cambridge University Press, 2002)
Keywords: Computable functions; Recursive functions; Logic, Symbolic and mathematical