bn:02832244n
Noun Concept
PT
regra de substituição
EN
In logic, a rule of replacement is a transformation rule that may be applied to only a particular segment of an expression. Wikipedia
Relations
Sources