Theory of provable recursive functions
Patrick C. Fischer · Transactions of the American Mathematical Society · 1965
under the title of Proof indices and recursion properties of provable recursive functions, January 24, 1963, under the title of Elementary properties of provably recursive sets, and undtr the title of Provably productive and provably creative sets;