Logic and information - Dean, Neville (Basingstoke : Palgrave Macmillan, 2003)
Includes index.
Keywords: Logic; Logic programming