Theory of recursive functions and effective computabilityby H. RogersComputable functionsMetamathematicsRecursive functionsWriting a summary for young readers…For young readersBook data: Open Library