PanLinx
English
eng-000
algebra of propositions
普通话
cmn-000
命题代数
English
eng-000
propositional algebra
PanLex