Principles of logic and logic programming
By: G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
Contributors: Nerode, Anil, 1932-; Sinachopoulos, A.
Series: Studies in computer science and artificial intelligence ;; 13
Publisher: Elsevier
Published: 1996
Place of publication: Amsterdam; New York
Number of pages: 329
Subjects: Logic programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 311-317) and indexes.