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

by L Ershov