这一领域的其他重要人物有： 伯特兰·罗素，斯科尔姆（Thoralf Skolem），普斯特（Emil Post），邱奇，克莱尼，蒯因，贝纳瑟拉夫（ Paul Benacerraf），普特南，柴汀（Gregory Chaitin），以及最著名的...
基于16个网页-相关网页
skolem thoralf 斯科尔姆
thoralf skolem
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动