Harvey Friedman's Research on the Foundations of Mathematicsby L. A. Harrington, Morley, A. Scedrov, S. G. SimpsonWriting a summary for young readers…For young readersBook data: Open Library