Gentzen's centenary the quest for consistency - Kahle, Reinhard 1967-; Rathjen, Michael (Springer, 2015)