Principles of logic and logic programming - Metakides, George, 1945-; Nerode, Anil, 1932-; Sinachopoulos, A. (Aneta) (Amsterdam ; New York : Elsevier, 1996)
Incluye referencias bibliográficas (p. 311-317) e índices.
Keywords: Logic programming; Logic, Symbolic and mathematical