Gentzen's Centenary | lit.salon