Computability, an introduction to recursive function theory - Cutland, Nigel (Cambridge, Eng. Cambridge University Press, 1980)
Includes bibliographical references (p.[239]-240) and index.
Keywords: Computable functions; Recursion theory