Computability and logic - Cohen, Daniel E. (Chichester : Ellis Horwood Ltd, 1987)