PanLinx
English
eng-000
sentential calculus
普通话
cmn-000
句子演算
普通话
cmn-000
命题演算
русский
rus-000
исчисление высказываний
PanLex
