Kleine Buning, H. <br/><br/>
Propositional logic :  deduction and algorithms / 
Hans Kleine Büning, Theodor Lettman. 
 - Cambridge, U.K. :  Cambridge University Press,  1999. 
 - x, 409 p. :  ill. ;  24 cm. 
 - Cambridge tracts in theoretical computer science;  48 .
 - Cambridge tracts in theoretical computer science;  48 .
<br/><br/> Translated from the German.  First published in German by B.G. Teubner in 1994 
<br/><br/><label>ISBN: </label>0521630177 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer algorithms.<br/>Computer logic.
<br/><br/><label>Dewey Class. No.: </label>004.015113  / KLE