Gallier, Jean H. <br/><br/>
Logic for computer science :  foundations of automatic theorem proving / 
Jean H. Gallier. 
 - New York, NY :  Harper & Row,  c1986. 
 - xv, 511 p. ; 
<br/><br/><label>ISBN: </label>0060422254 
<br/><br/><label>Subjects--Index Terms: </label>Computer science 
<br/><br/><label>Universal Decimal Class. No.: </label>681.325.6  / GAL