"Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets (Perspectives in Mathematical Logic)" - читать интересную книгу автора (Robert I. Soare)