Open Access
October, 1986 Provably recursive functions in fragments of Peano arithmetic
Hiroakira ONO, Noriya KADOTA
J. Math. Soc. Japan 38(4): 721-737 (October, 1986). DOI: 10.2969/jmsj/03840721
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.38 • No. 4 • October, 1986
Back to Top