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