組合子邏輯

組合子邏輯（combinatory logic）係 Moses Schönfinkel 同哈斯凱爾·加里介入嘅一種符號系統，用嚟消除數理邏輯當中對變量嘅需要。