Terms containing propositional and functional variables

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