Theorie der Numerierungen III, Zeitschrift f"ur Mathematische Logik und Grundlagen der Mathematik 23 (1977)

by Y L Ershov