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