Terms for subject Logic containing many-sorted logic

English	Russian
many-sorted first-order logic	многосортная логика первого порядка (Alex_Odeychuk)
many-sorted logic	многосортная логика (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега Alex_Odeychuk)