Discrete structures, logic, and computability
By: James L. Hein.
Edition: Prelim. ed.
Publisher: Jones and Bartlett Publishers
Published: 1994
Place of publication: Boston
Language: eng
Number of pages: 780
Subjects: Computer science -- Mathematics.; Logic programming.
Notes: Includes bibliographical references (p. 755-759) and index.