Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic door A. Visser