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