| |||
| алфавитная замена связанных пропозициональных и функциональных переменных (ssn) | |||
|
alphabetic change of bound propositional and functional variables : 2 צירופים, 1 נושאים |
| מָתֵימָטִיקָה | 2 |
| |||
| алфавитная замена связанных пропозициональных и функциональных переменных (ssn) | |||
|
alphabetic change of bound propositional and functional variables : 2 צירופים, 1 נושאים |
| מָתֵימָטִיקָה | 2 |