Piecha, Thomas; Schroeder-Heister, Peter
(2016-03)
General proof theory studies how proofs are structured and how they relate to each other, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof ...