Introduction to Proof Theory, 1998, by Samuel R Buss
2018-01-18 source of the following is https://www.math.ucsd.edu/~sbuss/ResearchWeb/HandbookProofTheory/
Samuel R Buss is a well-known mathematician with works in math logic.
2018-01-18 source of the following is https://www.math.ucsd.edu/~sbuss/ResearchWeb/HandbookProofTheory/
Samuel R Buss is a well-known mathematician with works in math logic.