DictionaryForumContacts

   Russian
Terms for subject Mathematics containing алфавитная замена связанных пропозициональных и функциональных переменных | all forms | in specified order only
RussianEnglish
алфавитная замена связанных пропозициональных и функциональных переменныхalphabetic change of bound propositional and functional variables (ssn)
правило алфавитной замены связанных пропозициональных и функциональных переменныхrule of alphabetic change of bound propositional and functional variables (ssn)