Computability Theory - S. Barry Cooper; S. Barry Cooper (Taylor and Francis, 2004)