Discrete structures, logic, and computability - Hein, James L. (Boston : Jones and Bartlett Publishers, 2001)
Includes bibliographical references (p. 915-919) and index.
Keywords: Computer science -- Mathematics