Computability, an introduction to recursive function theory by Cutland, Nigel Publication date 1980 Topics Computable functions, Recursion theory Publisher Cambridge [Eng.] ; New York : Cambridge ...