Logic for artificial intelligence & information technology /
Gabbay, Dov M.,1945-
London : College Publications,
c2007.
Includes bibliographical references and index.
Logic, Symbolic and mathematical.
Logic programming.
Artificial intelligence.