Computability and Logic by George S Boolos