Some remarks on partially recursive functions
Volume 3 / 1954
Colloquium Mathematicum 3 (1954), 37-38
DOI: 10.4064/cm-3-1-37-38