Book

Recursive Algebra, Analysis and Combinatorics

by Y. L. Ershov, A. Nerode, S. S. Goncharov, J. B. Remmel