"Generalized recursion theory: Proceedings Oslo, 1972" - читать интересную книгу автора (Lev D. Beklemishev)