Gallier,  Jean H. <br/><br/>
Logic for computer science :   foundations of automatic theorem proving / 
Gallier, Jean H. 
<br/><br/><label>Dewey Class. No.: </label>511.3 G135L