Chang, Chin-Liang,  1937- <br/><br/>
Symbolic logic and mechanical theorem proving/ 
[by] Chin-liang Chang [and] Richard Char-Tung Lee. 
 - New York:  Academic Press,  [1973]. 
 - xiii, 331 p.:  illus.,  24 cm. 
 - Computer science and applied mathematics .
<br/><br/>Bibliography: p. 309-324. 
<br/><br/><label>LCCN: </label>72088358 //r872 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logique symbolique et mathématique.-<br/>Intelligence artificielle.-<br/>Théorèmes--démonstration automatique.<br/>Logic, Symbolic and mathematical.<br/>Automatic theorem proving.<br/>Artificial intelligence.
<br/><br/><label>Dewey Class. No.: </label>511.3  / C456s