Computability, Complexity, and Languagesby Martin Davis, Ron Sigal, Elaine J. WeyukerWriting a summary for young readers…For young readersBook data: Open Library