Discrete structures, logic, and computability / James L. Hein. Hein, James L. Computer science Mathematics. Logic programming. Data structures (Computer science) Logic, Symbolic and mathematical. Computable functions. QA76.9.M35 .H44 2010 004.0151 22 HED Includes bibliographical references (p. 981-985) and index. Sudbury, Mass. : Jones and Bartlett Publishers, c2010. c2010. 2010 Text xiv, 1009 p. : eng