Theorie der Numerierungen I, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 19 (1973)

by Y ERSHOV
Venue:Math