PanLinx
русский
rus-000
многоместное исчисление
English
eng-000
polyadic calculus
PanLex
