PanLinx
English
eng-000
implicative semilattice
русский
rus-000
импликативная полурешетка
PanLex