Theory of Numberings (1977)

by L Ershov