Gentzen's Centenary The Quest for Consistency - Kahle, Reinhard; Rathjen, Michael (Springer International Publishing : Imprint: Springer, 2015)