英语 ⇄ 俄语 +

rules of substitution for propositional and functional variables 强调
编程	правила подстановки для пропозициональных и функциональных переменных (ssn)