Discrete structures, logic, and computability - Hein, James L. (Boston : Jones & Bartlett, 1995)
Includes bibliographical references and index.
Keywords: Computable functions; Data structures (Computer science); Logic, Symbolic and mathematical