1-4 of 4 Books

Computability, enumerability, unsolvability
By S. B. Cooper

Fundamentals of computation theory
By International FCT-Conference (1st 1977 Poznán, Poland and Kórnik, Poland)

Computability, an introduction to recursive function theory
By Nigel Cutland