頭版
隨機
附近
簽到
自定喜好
捐畀維基百科
關於維基百科
免責聲明
搵嘢
組合子邏輯
其他文嘅版本
監視
改
組合子邏輯
(
combinatory logic
)係
Moses Schönfinkel
同
哈斯凱爾·加里
介入嘅一種
符號系統
,用嚟消除數理邏輯當中對變量嘅需要。
呢篇同
邏輯
相關係
楔
位文。歡迎幫維基百科
擴寫佢
。
睇
•
論
•
改
•
歷