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