Propositional logic : deduction and algorithms /
Kleine Büning, H.(Hans)
Lettmann, T.(Theodor)
Cambridge : Cambridge University Press,
1999.
Includes bibliographical references and index.
Computer logic.
Computer algorithms.