PanLinx
русский
rus-000
алгебра высказываний
English
eng-000
propositional algebra
PanLex