Discrete structures, logic, and computability - Hein, James L. (Sudbury, Mass. : Jones and Bartlett Publishers, 2010)
Includes bibliographical references (p. 981-985) and index.
Keywords: Computer science -- Mathematics; Logic programming; Data structures (Computer science); Logic, Symbolic and mathematical; Computable functions