Marek, Wiktor <br/><br/>
Introduction to mathematics of satisfiability / 
Victor W. Marek 
 - Boca Raton, FL :  CRC Press,  2009 
 - xiii, 350 p. :  ill. ;  25 cm. 
 - Chapman & Hall/CRC studies in informatics series .
 - Chapman & Hall/CRC studies in informatics series .
<br/><br/> 'A Chapman & Hall book.' 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781439801673 (hbk.)  RM239.54 1439801673 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Propositional calculus<br/>Logic, Symbolic and mathematical