GALLIER JEAN H <br/><br/>
Logic For Computer Science Foundations of Automatic theorem Proving 

 - New York  John Wiley & sons  1987 
 - XV+511 pp 
<br/><br/><label>ISBN: </label>10987654321 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic For Computer Science
<br/><br/><label>Subjects--Facted Index Terms: </label><br/>Computer science automatic theorem perform logic;symbolic mathematics