Computability and Logic Fifth Edition by George S Boolos