"Computability and Logic, 4th edition" - читать интересную книгу автора (George S. Boolos, John P. Burgess, Richard C. Jeffrey,)