TY  - BOOK
AU  - Marek, Victor W.
TI  - Introduction to mathematics of satisfiability
SN  - 9781439801673
U1  - 510.633 
PY  - 2009///
CY  - Boca Raton
PB  - CRC
KW  - LOGIC- SYMBOLIC AND MATHEMATICAL
KW  - PROPOSITIONAL CALCULUS
ER  -