Gentzen's centenary the quest for consistency - Kahle, Reinhard 1967-; Rathjen, Michael (Springer, 2015)
Keywords: Gentzen, Gerhard / (1909-1945) / Mélanges et hommages; Logique / Philosophie / Mélanges et hommages; Aufsatzsammlung