Effective operations and recursive functionals (abstract (1962)

by R O Gandy
Venue:Journal of Symbolic Logic