n实验室阿隆佐教堂（更改）

显示从版本#1到版本#2的更改：补充|~~远离的~~|陈ged公司

维基百科条目

精选作品

打开简单类型理论:

阿隆佐·邱奇第5节：简单类型理论的一个公式《符号逻辑杂志》52（1940）56-68[[doi:10.2307/2266170](https://doi.org/10.2307/2266170)]

相关条目

判断

类别：人

上次修订时间：2023年1月23日14:37:26。请参阅历史获取所有贡献的列表。