Induction rules, reflection principles, and provably recursive functions - Beklemishev, Lev D. 1967- (Dep. of Philosophy, Utrecht Univ., 1995)