A certain hierarchy of sets, i, ii, iii (1968)

by Y L Ershov
Venue:Russian), Algebra i Logika