noun
: a branch of symbolic logic that deals especially with the notion of substitution and the eliminability of variables in favor of special function symbols
noun
: a branch of symbolic logic that deals especially with the notion of substitution and the eliminability of variables in favor of special function symbols
Webster's New International English Dictionary. Новый международный словарь английского языка Webster. 2012