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