Meta-logics and logic programming /

Bibliographic Details

Other Authors:	Apt, Krzysztof R., 1949-, Turini, Franco, 1949-
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, 1995.
Series:	Logic programming.
Subjects:	Logic programming. Logic, Symbolic and mathematical.