首页 > 历史
阿隆佐·邱奇
着作
数理逻辑介绍，Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)
参见
邱奇-图灵论题
一阶逻辑
高阶逻辑
λ演算
