Maximal sets in α-recursion theory (1973)

by M Lerman, S G Simpson
Venue:Israel J. Math