Dick de Jongh on Intuitionistic and Provability Logics | lit.salon