| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Symbolic Logic and Mechanical Theorem Proving | 978-0-12-170350-9 (0-12-170350-9) | 1973 | Chin-Liang Chang |
C. L. · C. Lee · c't · R.C. · R. C. T. Lee · R. L · R. Lee · Richard C. Lee · Richard L. · Richard Lee · Richard T. · Richard T. Lee · T. Lee