Marek, W. Viktor <br/><br/>
Introduction to mathematics of satisfiability  
Victor W. Marek. 
 - Boca Raton :  CRC Press,  c2009. 
 - xiii, 350 p. :  ill. ;  25 cm. 
 - Chapman & Hall/CRC studies in informatics series. .
 - Chapman & Hall/CRC studies in informatics series. .
<br/><br/><br/>System requirements: Internet connectivity; World Wide Web browser. 
<br/><br/><label>ISBN: </label>9781439801673 1439801673 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Propositional calculus.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Dewey Class. No.: </label>511.3