PanLinx
русский
rus-000
исчисление с несколькими видами переменных
English
eng-000
many-sorted calculus
PanLex