Provability, Computability and Reflection Vol. IIby Lev D. BeklemishevLogic, symbolic and mathematicalWriting a summary for young readers…For young readersBook data: Open Library