A FIRST COURSE IN COMPUTABILITY, V. J. RAYWARD-SMITH, TRADE PAPERBACK, 1986,

Computability and Logic - Hardcover, by Boolos George; Jeffrey - Acceptable

Discrete Structures, Logic, and Computability by James L Hein Hardcover

Computability and Unsolvability - Paperback, by Davis Prof. Martin - Good

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

Computability and Logic 4e Richard C. Jeffrey, George S. Boolos, John P. Burgess

Computability and Logic by Jeffrey, Richard C. Paperback Book The Fast Free

Automata and Computability (Undergraduate Texts in Computer Science)