combinatory logic

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

Love words?

You must — there are over 200,000 words in our free online dictionary, but you are looking for one that’s only in the Merriam-Webster Unabridged Dictionary.

Start your free trial today and get unlimited access to America's largest dictionary, with:

• More than 250,000 words that aren't in our free dictionary
• Expanded definitions, etymologies, and usage notes
• Advanced search features
• Ad free!