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