many-sorted
| first-order logic
| many-sorted abbr. | |
| logic | многосортный |
| first order logic abbr. | |
| comp. | логика первого порядка |
| first-order logic abbr. | |
| comp. | исчисление предикатов первого порядка |
| el. | логика предикатов первого порядка |
| |||
| многосортный (Alex_Odeychuk) | |||
| с несколькими видами переменных (Alex_Odeychuk) | |||
|
many-sorted : 6 phrases in 3 subjects |
| Logic | 3 |
| Mathematics | 2 |
| Programming | 1 |