PanLinx: calculus of proposition

English	eng-000
calculus of proposition

普通话	cmn-000	命题演算
English	eng-000	propositional calculus

PanLex-PanLinx