Computability and logic - Cohen, Daniel E., 1934- (Mathematics and its applications, 1987)