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