Propositional combinations of S-sentences in Heyting's arithmetic by A. Visser