Enumerability, decidability, computability; an introduction to the theory of recursive functionsby Hans HermesRecursive functionsWriting a summary for young readers…For young readersBook data: Open Library