"Recursion Theory Week. Proceedings conference Oberwolfach, 1984" - читать интересную книгу автора (Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks)