Logic for computer science and artificial intelligence /
Caferra, Ricardo,1945-
London : ISTE ; Hoboken, N.J. : Wiley,
2011.
Includes bibliographical references and index.
Computer logic.
Artificial intelligence.