| 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 | Chin-Liang Chang |
C L · C. Lee · C. T. · R. C. · R C L · R. C. Lee · R. C. T. Lee · R. L · R. Lee · R. T. · Richard C. · Richard C. Lee · Richard L. · Richard Lee · Richard T. · Richard T. Lee · T. Lee