Godel numberings of partial recursive functions (1958)

by H JR ROGERS
Venue:Journal of Symbolic Logic