Discrete structures, logic, and computability - Hein, James L. (New Delhi Jones and Bartlett, 2010)
Keywords: Logic Programming; Logic, Symbolic and mathematical; Computable functions; Computer science -- Mathematics