Theorie der Numerierungen I", Zeitschr, f. math. Logik und Grundl. d (1973)

by Ju L Ershov
Venue:Math., Bd