"Higher Recursion Theory (Perspectives in Mathematical Logic)" - читать интересную книгу автора (Gerald E. Sacks)