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.

introduction_to_proof_theory_Samuel_R_Buss_20506.pdf

If you have a question, put $5 at patreon and message me.