PanLinx
普通话
cmn-000
命题编码说 命题编码说
English
eng-000
propositional coding theory
PanLex
