 |
| |||
| комбинация теорий (множество формул в объединенной сигнатуре, являющееся дедуктивным замыканием их объединения Alex_Odeychuk) | |||
| combinations of theories: 4 phrases in 4 subjects |
| Logic | 1 |
| Makarov | 1 |
| Mathematics | 1 |
| Technology | 1 |
|
| |||
| комбинация теорий (множество формул в объединенной сигнатуре, являющееся дедуктивным замыканием их объединения Alex_Odeychuk) | |||
| combinations of theories: 4 phrases in 4 subjects |
| Logic | 1 |
| Makarov | 1 |
| Mathematics | 1 |
| Technology | 1 |