Recursion theory - Nerode, Anil, 1932-; Shore, Richard A., 1946- (Proceedings of symposia in pure mathematics ;, 1985)