PanLinx
English
eng-000
propositional operator
русский
rus-000
пропозициональный оператор
PanLex