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