Gallier, J.H <br/><br/>
Logic for computer science  foundations of automatic theorem proving 
J.H. Gallier 
 - 2 
 - New York  Dover Publication  2015 
 - xxiii  496 
<br/><br/><label>ISBN: </label>9780486780825