"Recursion Theory, its Generalisations and Applications (London Mathematical Society Lecture Note Series)" - читать интересную книгу автора (F. R. Drake, S. S. Wainer)