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