Some applications of Kleene's methods for intuitionistic systems