Terms containing change of bound variables

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