Kleine Buning, H <br/><br/>
Propositional logic :   deduction and algorithms / 
Hans Kleine Buning, Theodor Lettman 
 - Cambridge [England]: New York:   Cambridge University Press,   1999 
 - x, 409 p.;   24 cm. 
 - Cambridge tracts in theoretical computer science; 48 .
<br/><br/>Includes bibliographical references (p. 385-402) and index 
<br/><br/><label>ISBN: </label>0521630177 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic<br/>Computer algorithms