Book launch “Dick de Jongh on Intuitionistic and Provability Logics”