Gallier, Jean H. <br/><br/>
Logic for computer science  : foundations of automatic theorem proving 
by Jean H. Gallier. 
 - New York  John Wiley  1987 
 - xv, 511p. 
<br/><br/><label>ISBN: </label>0471615463 
<br/><br/><label>Dewey Class. No.: </label>511.3  / N877