A Formal System of Partial Recursive Functions

  • Hiroakira Ono

    Japan Advanced Institute of Science and Technology, Ishikawa, Japan

Cite this article

Hiroakira Ono, A Formal System of Partial Recursive Functions. Publ. Res. Inst. Math. Sci. 10 (1974), no. 1, pp. 271–291

DOI 10.2977/PRIMS/1195192182