Gödel numberings of partial recursive functions (1958)

by H Rogers
Venue:Journal of Symbolic Logic