Media type: E-Article Title: Induction rules, reflection principles, and provably recursive functions Contributor: Beklemishev, Lev D. imprint: Elsevier BV, 1997 Published in: Annals of Pure and Applied Logic Language: English DOI: 10.1016/s0168-0072(96)00045-0 ISSN: 0168-0072 Keywords: Logic Origination: Footnote: Access State: Open Access