"Degrees of Unsolvability (North-Holland Mathematics Studies - 2)" - читать интересную книгу автора (Joseph R Shoenfield)