| |||
| замена связанных пропозициональных и функциональных переменных (ssn) | |||
|
change of bound propositional and functional variables : 3 do fraz, 1 tematyki |
| Matematyka | 3 |
| |||
| замена связанных пропозициональных и функциональных переменных (ssn) | |||
|
change of bound propositional and functional variables : 3 do fraz, 1 tematyki |
| Matematyka | 3 |