Handbook of Proof Theory - Samuel R. Buss [Studies in Logic and the Foundations .zip handbook of proof theory
Handbook of Proof Theory - Samuel R. Buss [Studies in Logic and the Foundations .pdf
Richard Hammack Book of proof .pdf