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