 |
| Subject | English | Russian |
| math. | many-sorted | с несколькими видами переменных (Alex_Odeychuk) |
| logic | many-sorted | многосортный (Alex_Odeychuk) |
| math. | many-sorted calculus | исчисление с несколькими видами переменных |
| logic | many-sorted first-order logic | многосортная логика первого порядка (Alex_Odeychuk) |
| logic | many-sorted logic | многосортная логика (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега Alex_Odeychuk) |
| progr. | many-sorted logic with parametric polymorphism | многосортная логика с параметрическим полиморфизмом (University of Melbourne, Австралия Alex_Odeychuk) |
| logic | many-sorted propositional calculus | многосортное пропозициональное исчисление (Alex_Odeychuk) |