На данной странице предаставлены все книги автора «Chin-Liang Chang»
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) (Chin-Liang Chang,Richard Char-Tung Lee)