Books listed by ISBN
>
Academic Press
> Chin-Liang Chang
Chin-Liang Chang
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Symbolic Logic and Mechanical Theorem Proving
978-O-12-17O35O-9
(O-12-17O35O-9)
1973
Richard Char-Tung Lee
C C
·
C. Chang
·
C L
·
L. C.
·
L. Chang
Chin, Lillian (Translator) Qing-zheng