Advances in proof theory - Kahle, Reinhard 1967-; Strahm, Thomas; Studer, Thomas 1972- (Birkhäuser, 2016)