Terms containing bound variables

Subject	English	Russian
math.	alphabetic change of bound propositional and functional variables	алфавитная замена связанных пропозициональных и функциональных переменных (ssn)
math.	alphabetic change of bound variable	алфавитная замена связанной переменной (ssn)
math.	alphabetic changes of bound variable	алфавитная замена связанных переменных (ssn)
math., logic	anonymous bound variable	анонимная связная переменная
math.	bound a variable above	ограничивать переменную сверху
tech.	bound a variable below	ограничивать переменную снизу
Makarov.	bound a variable below	ограничивать переменную (снизу)
tech.	bound on a variable	граница интервала изменений переменной
math.	bound propositional and functional variables	связанные пропозициональные и функциональные переменные (ssn)
tech.	bound variable	связанная переменная
math.	bound variables	связанные переменные (ssn)
math.	change of bound propositional and functional variables	замена связанных пропозициональных и функциональных переменных (ssn)
math.	change of bound variable	замена связанной переменной (ssn)
math.	change of bound variables	переименование связанных переменных
math., logic	complex bound variable	составная связная переменная
math., logic	explicit bound variable	явная связная переменная
math.	rule of alphabetic change of bound propositional and functional variables	правило алфавитной замены связанных пропозициональных и функциональных переменных (ssn)
math.	rule of alphabetic change of bound variable	правило алфавитной замены связанной переменной (ssn)
math.	variable with upper bound	переменная с верхним пределом