Discrete structures, logic, and computability - Hein, James L. (New Delhi Jones & Bartlett, 2010)
Keywords: COMPUTING; DISCRETE STRUCTURES; LOGIC