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