Kahle, Reinhard (Ed.) Gentzen’s centenary : the quest for consistencyCham : Springer, 2015. ix, 561 p. QA9.54 G45