Chang, Chin-Liang <br/><br/>
Symbolic logic and mechanical theorem proving  
Chin-Liang Chang, Richard Char-Tung Lee 
 - San Diego :  Academic Press,  [1987], c1973. 
 - xiii, 331 p. :  ill. ;  24 cm 
 - Computer science classics .
<br/><br/> Cuprinde Bibliografie si exercitii la sfarsitul fiecarui capitol<br/>Anexe p. 287<br/>Bibliogarfie p. 309<br/>Index p. 325 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>9780121703509 
<br/><br/><label>LCCN: </label>87001443  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Automatic theorem proving.<br/>Artificial intelligence.
<br/><br/><label>LC Class. No.: </label>QA9 
<br/><br/><label>Dewey Class. No.: </label>511.3