Chang, Chin-Lian <br/><br/>
Symbolic logic and mechanical theorem proving / 
Chin-Lian Chang and Richard Char-Tung Lee 
 - Boston :  Academic Press,  c1973. 
 - xiii,331 p. :  ill. ;  23 cm. 
 - Computer Science Classics .
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>0121703509 
<br/><br/><label>LCCN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic<br/>Symbolic and mathematical
<br/><br/><label>LC Class. No.: </label>QA9  / .C483 1973 
<br/><br/><label>Dewey Class. No.: </label>511.3  / C454s