更新时间：2022-06-26 18:27
组合逻辑（combinatory logic）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词，出自《计算机科学技术名词 》第三版。
一种不基于集合论的逻辑形式系统，常包含恒等、分配和消去三个组合子。
《计算机科学技术名词 》第三版。