COMBINATORY LOGIC


Meaning of COMBINATORY LOGIC in English

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.