Vol. 1141. Ebbinghaus, H. D.; Müller, G. H.; Sacks, G. E. (Eds.)
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15-21, 1984
QA9.6 R43