Chang, Chin-Liang, 1937- <br/><br/>
Symbolic logic and mechanical theorem proving 
Chin-Liang Chang, Richard Char-Tung Lee 
 - New York  Academic Press  1973 
 - xv, 331 :   ill. ;   24 cm. 
 - Computer science and applied mathematics .
<br/><br/>p. 309-324 
<br/><br/><label>ISBN: </label>0121703509 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical<br/>Automatic theorem proving<br/>Artificial intelligence