Title: Dick de Jongh on Intuitionistic and Provability Logics