 |
| |||
| many-sorted logic (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега Alex_Odeychuk) | |||
| многосортная логика: 3 צירופים, 2 נושאים |
| הִגָיוֹן | 2 |
| תִכנוּת | 1 |