Gallier  Jean H. <br/><br/>
Logic for computer science : Foundations of automatic theorem proving 

 - John wiley & sons, New York  1987 
 - ppxiii,511 
<br/><br/><label>Dewey Class. No.: </label>511.3 Gal