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