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