English Beginner Computability and Logic, 4th edition George S. Boolos,John P. Burgess,Richard C. Jeffrey, 2002 View book