Introduction to Proof Theoryby Paolo Mancosu, Sergio Galvan, Richard ZachMathematicsWriting a summary for young readers…For young readersBook data: Open Library