Title: Xing shi yu yi xue yin lun (Dang dai yu yan xue li lun cong shu)
Subjects: Language and logic, Formal languages, Semantics