substitution

concept in logic; syntactic transformation on formal expressions

Kategorien: