Relative Recursive Enumerability (1982)

by R I Soare, M Stob
Venue:Proceedings of the Herbrand Symposium: Logic Colloquium '81, ed