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