substitution

concept in logic; syntactic transformation on formal expressions

Kategorie: