Ordinal Analysis with an Introduction to Proof Theoryby Toshiyasu AraiWriting a summary for young readers…For young readersBook data: Open Library