English	Russian
many-sorted	с несколькими видами переменных (Alex_Odeychuk)
many-sorted calculus	исчисление с несколькими видами переменных
several-sorted predicate calculus	исчисление предикатов с переменными нескольких видов
several-sorted predicate calculus	исчисление предикатов с несколькими сортами переменных
sort out	подобрать
sort out	перебирать
sort out	подбирать
sort out	перебрать
sort out	выбраковывать