Chang, Chin-Liang. <br/><br/>
Symbolic logic and mechanical theorem proving   
by Chin-Liang Chang and Richard Char-Tung Lee 
 - New York  Academic Press  1973 
 - xiii, 331p, incl bibl. & ind. 
 - Computer Science and Applied Mathematics, a Series of Monographs and Textbooks .
<br/><br/><label>LCCN: </label>72-88358 
<br/><br/><label>Dewey Class. No.: </label>511.3  / N732;1