. . . "形式语义学引论" . . . "Introduction to formal semantics" . . . "Xing shi yu yi xue yin lun" . . . . . . . . .