Logic and language /
Dean, Neville.
Basingstoke : Palgrave Macmillan,
2003.
Includes bibliographical references and index.
Logic.
Logic programming.