# 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.