"Recursion Theory Week: Proceedings of a Conference Held in Oberwolfach, FRG March 19-29, 1989" - читать интересную книгу автора (Ambos-Spies K. (Ed), Dold A. (Ed))