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