Theory of Numerations, Monographs (1977)

by L Ershov
Venue:in Mathematical Logic and the Foundation of Mathematics