JournalsprimsVol. 10 , No. 1DOI 10.2977/prims/1195192182

A Formal System of Partial Recursive Functions

  • Hiroakira Ono

    Japan Advanced Institute of Science and Technology, Ishikawa, Japan
A Formal System of Partial Recursive Functions cover