"Recursion theory, its generalisations and applications: Proceedings Leeds, 1979" - читать интересную книгу автора (F. R. Drake, S. S. Wainer)