PanLinx
русский
rus-000
слабодистрибутивная булева алгебра
English
eng-000
weakly distributive Boolean algebra
PanLex