Chin-Liang Chang

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Symbolic Logic and Mechanical Theorem Proving978-O-12-17O35O-9
(O-12-17O35O-9)
1973Richard Char-Tung Lee

C C · C. Chang · C L · L. C. · L. Chang

Chin, Lillian (Translator) Qing-zheng