Marek, Wiktor <br/><br/>
Introduction to mathematics of satisfiability 
Victor W. Marek 
 - Boca Raton, FL  CRC Press  c2009 
 - xiii, 350 p. : ill. ; 25 cm., : alk. paper 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781439801673 
<br/><br/><label>ISSN: </label>2009016171 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical<br/>Propositional calculus
<br/><br/><label>Dewey Class. No.: </label>511.3 MAR