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