| |||
| алфавитная замена связанных пропозициональных и функциональных переменных (ssn) | |||
|
alphabetic change of bound propositional and functional variables : 2 phrases, 1 sujets |
| Mathématiques | 2 |
| |||
| алфавитная замена связанных пропозициональных и функциональных переменных (ssn) | |||
|
alphabetic change of bound propositional and functional variables : 2 phrases, 1 sujets |
| Mathématiques | 2 |