substitution

concept in logic; syntactic transformation on formal expressions

카테고리: