Beklemishev, L. D. (1996). Induction rules, reflection principles, and provably recursive functions. Dep. of Philosophy, Utrecht Univ.
Chicago Style (17th ed.) CitationBeklemishev, Lev D. Induction Rules, Reflection Principles, and Provably Recursive Functions. Utrecht: Dep. of Philosophy, Utrecht Univ, 1996.
MLA (9th ed.) CitationBeklemishev, Lev D. Induction Rules, Reflection Principles, and Provably Recursive Functions. Dep. of Philosophy, Utrecht Univ, 1996.
Warning: These citations may not always be 100% accurate.