Computability and logic - Cohen, Daniel E. (Ellis Horwood series in mathematics and its applications, 1987)