Advances in proof theory - Kahle, Reinhard 1967-; Strahm, Thomas; Studer, Thomas 1972- (Progress in computer science and applied logic, 2016)