"Computability and incompleteness. Lecture notes" - читать интересную книгу автора (Avigad J.)