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