Provably recursive functions in fragments of Peano arithmetic

• 1 October 1986
• journal article
• Published by Mathematical Society of Japan (Project Euclid) in Journal of the Mathematical Society of Japan
• Vol. 38  (4)
• https://doi.org/10.2969/jmsj/03840721

Abstract