Gallier, Jean H. <br/><br/>
Logic for computer science  Foundations of automatic theorem proving 
Gallier, Jean H. 
 - 2nd 
 - New York  Dover publication inc  1986 
 - 496  23cm 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>9780486780825 
<br/><br/><label>Source: </label> PB 
<br/><br/><label>Subjects--Index Terms: </label>Logic, Symbolic and mathematical | Automatic theorem proving 
<br/><br/><label>Index Terms--Curriculum Objective: </label>--Maths-Statistics
<br/><br/><label>Dewey Class. No.: </label>511.36028563  / GAL