Marek, Victor W.
Introduction to mathematics of satisfiability
- Boca Raton: CRC Press, 2009
- xiii, 350 p.; ill: 25 cm.
- Chapman & Hall/CRC studies in informatics series .
9781439801673 (hbk)
Logic, Symbolic and mathematical
Propositional calculus
511.3 / MAR