Induction rules, reflection principles and provably recursive functions door L.D. Beklemishev