PanLinx: исчисление высказываний

русский	rus-000
исчисление высказываний

English	eng-000	propositional calculus
English	eng-000	sentential calculus

PanLex-PanLinx