Computability and logic - Boolos, George S.; Jeffrey, Richard C. (Cambridge Cambridge University Press, 1989)
Keywords: Computable Functions; Recursive Functions; Symbolic Logic; Mathematical Logic