PanLinx
English
eng-000
statement logic
普通话
cmn-000
命题逻辑
English
eng-000
propositional logic
PanLex
