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