"Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.)" - читать интересную книгу автора (Martin Davis)