Methods of Cut-Elimination - Leitsch, Alexander; Baaz, Matthias; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2011)
Keywords: Mathematics; Computer science; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages