language of formulas

Мат. язык формул