Provability, Computability and Reflection, Volume 152 (Studies in Logic and the Foundations of Mathematics)by Lev D. BeklemishevWriting a summary for young readers…For young readersBook data: Open Library