Sets, Models and Recursion Theory - Beklemishev. (Elsevier,)