Computability and Logic, Boolos, George S.

Computability and Logic, Burgess, John P.

Discrete Structures, Logic, and Computability: . by James L. Hein

Computability and Logic by George Boolos: Used

Computability and Logic Fifth Edition by Boolos Paperback Cambridge

Computability and Logic by Richard C. Jeffrey and George S. Boolos (1989, Trade

Discrete Structures, Logic, and Computability: . by James L. Hein