Gentzen's Centenary - Kahle, Reinhard (Springer International Publishing, 2015)