Advances in proof theory - Kahle, Reinhard 1967-; Strahm, Thomas; Studer, Thomas 1972- (Birkhäuser, 2016)
Keywords: Mathematics; Logic; Mathematical logic; Mathematical Logic and Foundations; Mathematik; Beweistheorie; Konferenzschrift -- 2013 -- Bern