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