Computability theory an introduction
Jones, Neil D.
New York London Academic Press
1973
Includes index
Recursive functions.