substitution

concept in logic; syntactic transformation on formal expressions

Danh mục: