Marek, Wiktor. <br/><br/>
Introduction to mathematics of satisfiability / 
Victor W. Marek. 
 - Boca Raton :  CRC Press,  c2009. 
 - xiii, 350 p. :  ill. ; 
 - 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 (hardcover : alk. paper) 1439801673 (hardcover : alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Propositional calculus.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Dewey Class. No.: </label>511.3