Discrete structures, logic, and computability
Hein, James L. cop. 1995