On provably recursive functions and ordinal recursive functions*
Open Access
- 1 July 1968
- journal article
- Published by Mathematical Society of Japan (Project Euclid) in Journal of the Mathematical Society of Japan
- Vol. 20 (3) , 456-476
- https://doi.org/10.2969/jmsj/02030456