DISCRETE STRUCTURES LOGIC AND COMPUTABILITY - HEIN, J.L. (J & B, 2010)