Introduction to mathematics of satisfiability - Marek, Victor W. (Boca Raton CRC, 2009)
Keywords: LOGIC- SYMBOLIC AND MATHEMATICAL; PROPOSITIONAL CALCULUS