
A note on the representation of general recursive functions and the μ quantifier
Rose, Alan, Newman, M. H. A.Volume:
55
Langue:
english
Journal:
Mathematical Proceedings of the Cambridge Philosophical Society
DOI:
10.1017/s030500410003382x
Date:
April, 1959
Fichier:
PDF, 211 KB
english, 1959