Principles of logic and logic programming /

Bibliographic Details

Main Author:	Metakides, George, 1945-
Other Authors:	Nerode, Anil, 1932-
Format:	Book
Language:	English
Published:	Amsterdam ; New York : Elsevier, 1996.
Series:	Studies in computer science and artificial intelligence ; 13.
Subjects:	Logic programming. Logic, Symbolic and mathematical.