Chang, Chin-Liang <br/><br/>
Symbolic, logic and mechanical theorem proving 

 - 
 - New York  Academic Press  1973 
 - xiii,325p.   
<br/><br/>   
<br/><br/><label>ISBN: </label>
<br/><br/><label>ISSN: </label>
<br/><br/><label>Subjects--Index Terms: </label>Symbolic theorem proving  Logic theorem proving  Mechanical theorem proving  Computational mathematics  Numerical analysis  Computer programming  Computer software 
<br/><br/><label>Dewey Class. No.: </label>519.6