Chang Chin-Liang <br/><br/>
Symbolic logic and mechanical theorem proving 
Chang Chin-Liang; Lee Richard Char-Tung 
 - New York       Academic Press         1973 
 - xiii,331p.  cm. 
 - Computer Science and Applied Mathematics : A Series of Monogrraphs and Textbooks .
<br/><br/><label>Standard No.: </label>19545 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>B:(R1), L31