Computability And Logic - Cohen, Daniel E. (New York, 1987)