DictionaryForumContacts

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