TY  - GEN
AU  - Chang, Chin-Liang.
AU  - Lee,Richard CharTung
TI  -  Symbolic logic and mechanical theorem proving / 
SN  - 0121703509
AV  - QA9  
PY  - 1987///], c1973
CY  -  San Diego : 
PB  - Academic Press, 
KW  - Logic Symbolic and mathematical
N1  -  Includes bibliographical references (p. 309-324) and index
ER  -