Chang, Chin-Liang. <br/><br/>
Symbolic logic and mechanical theorem proving /  
Chin-Liang Chang, Richard Char-Tung Lee. 
 - San Diego :   Academic Press,    [1987], c1973. 
 - 331 p. :    ill. ;  24 cm. 
 - Computer science classics .
<br/><br/>Includes bibliographical references (p. 309-324) and index. 
<br/><br/><label>ISBN: </label>0121703509 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic Symbolic and mathematical
<br/><br/><label>LC Class. No.: </label>QA9