Godel numberings of partial recursive functions (1958)

by H Rogers
Venue:J. Symbolic Logic