...定以及布尔为了说明它而开发的系统奠定了所有现代形式化逻辑研究的基础，从罗素和怀海德的《数学原理》（Whitehead and Russell 1950），到图灵和哥德尔的研究，也包括现代的自动推理系统。
基于1个网页-相关网页
whitehead and russell
怀特黑德和拉塞尔
以上为机器翻译结果，长、整句建议使用 人工翻译 。
In early modern times they connect strongly with Spinoza, Litmitz, with Nist and more recently with Whitehead and the late Russell and many more connections can be made some which I'll indicate.
在现代与斯宾诺莎，莱布尼茨相联系，更近一些的则是怀特海和罗素，还有许多其他联系。
youdao
应用推荐
模块上移
模块下移
不移动