"Fundamentals of generalized recursion theory" - читать интересную книгу автора (Melvin Chris Fitting)