Theorie der Numerierungen III. Zeitschrift für (1977)

by Y Ershov
Venue:Math. Log