PanLinx
русский
rus-000
разветвленное исчисление классов
English
eng-000
ramified class calculus
PanLex