PanLinx
English
eng-000
logic of proposition
普通话
cmn-000
命题逻辑
PanLex