"Degrees of Unsolvability: Local and Global Theory" - читать интересную книгу автора (M. Lerman)