Solutions to selected exercises from
Proof Theory: Sequent Calculi and Related Formalisms
Here I provide solutions (and detailed sketches of solutions) to selected exercises through links to PDF (Portable Document Format) files. Please check the time of the latest update below to see whether I have added new files since your previous visit.
This web page points to supplementary resources to my book: Katalin Bimbó, Proof Theory: Sequent Calculi and Related Formalisms, CRC Press, Boca Raton, FL, (to appear in August, 2015).
Updated on August 13th, 2018.