Recursion Theory for Metamathematicsby Raymond M. SmullyanRecursion theoryWriting a summary for young readers…For young readersBook data: Open Library