Lee, Richard Char Tung books & textbook
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Chang, Chin-Liang Lee, Richard Char-Tung
Academic Press /1973-06-11 Hardcover / 331 Pages
isbn-10: 0121703509 / isbn-13: 9780121703509