TY  - GEN
AU  - Marek, W. Viktor
TI  - Introduction to mathematics of satisfiability 
T2  - Chapman & Hall/CRC studies in informatics series
SN  - 9781439801673
U1  - 511.3 
PY  - 2009///
CY  - Boca Raton
PB  - CRC Press
KW  - Propositional calculus
KW  - Logic, Symbolic and mathematical
ER  -