Research Concept

Substitution (logic)

concept in logic; syntactic transformation on formal expressions