Dick de Jongh on Intuitionistic and Provability Logics