Computability Theory door S. Barry Cooper & S.B. Cooper