Terms containing many- sorted calculus

Subject	English	Russian
math.	many-sorted calculus	исчисление с несколькими видами переменных
logic	many-sorted propositional calculus	многосортное пропозициональное исчисление (Alex_Odeychuk)