Terms for subject Mathematics containing rule of alphabetic change of bound variable

English	Russian
rule of alphabetic change of bound propositional and functional variables	правило алфавитной замены связанных пропозициональных и функциональных переменных (ssn)
rule of alphabetic change of bound variable	правило алфавитной замены связанной переменной (ssn)