“数理逻辑”是个多义词，它可以指数理逻辑（用数学方法研究逻辑或形式逻辑的学科）, 数理逻辑（恩德滕著图书）。
数理逻辑(Mathematical Logic)是一门边缘性学科,它是用形式化方法研究推理中前提与结论之间的形式关系的科学,也就是用专门的符号和数学方法来处理、研究演绎方...
基于4121个网页-相关网页
证明集合相等探究-毕业论文参考网 关键词:集合; 数理逻辑; 谓词; 特征函数 [gap=940]Key words: set; symbolic logic; peridication ; eigenfunction
基于266个网页-相关网页
... 时间逻辑 Temporale Logik 数理逻辑 Mathematische Logik; formale Logik 算术逻辑部件 ALU ...
基于12个网页-相关网页
... 时间逻辑 Temporale Logik 数理逻辑 Mathematische Logik; formale Logik 算术逻辑部件 ALU ...
基于12个网页-相关网页
符号逻辑（数理逻辑） symbolic logic
高级数理逻辑 Advanced Numerical Logic
现代数理逻辑 modern mathematical logic
数理逻辑基础 Fundations of Mathematical Logic ; Elements of Mathematical Logic
数理逻辑智能 Logical-Mathematical Intelligence ; Logical Intelligence
数理逻辑档案 Archive for Mathematical Logic
数理逻辑学报 Mathematical Logic Quarterly
离散数学与数理逻辑 Discrete Mathematics and Mathematical Logic
数理逻辑入门 Elementary Mathematical Logic
But it is not a whole failure. Russell' contribution lies in his study of mathematics logicism promoting the development of mathematics logic.
但这种失败只是部分失败，其成功之处在于，罗素的数学逻辑主义研究对数理逻辑的发展作出了重要的贡献。
参考来源 - 罗素的数学逻辑主义思想研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐