Theorie der Numerierungen II, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 21 (1975)

by Y ERSHOV
Venue:Mathematik