jared@mathstodon.xyz rated Computability and Logic: Show rating 4 stars Sept. 4, 2014 Public Computability and Logic by George S. Boolos, John P. Burgess, Richard C. Jeffrey