"Higher recursion theory" - читать интересную книгу автора (Gerald E. Sacks)