数理逻辑是离散数学的重要组成部分，是学好离散数学的基础。
用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
我聪明但不是天才，而我也投入了大量的经历来学习深奥的数学逻辑和知识论。
模糊理论可包含上述方法，如或然率，数学逻辑，测度理论。
罗瓦兹拉威克等人选择了两个来自于数学逻辑领域的理论来作为他们对于变革的信念的根基。
但是这里完整性有一个比较有用的概念，这个概念是从这个单词在数学逻辑的意思中获得的。
实际上，他从事哲学的方式跟对待航空科学和数理逻辑没什么两样。
数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。
如果不是受惠于数理逻辑的最新进展，这个问题根本就无法予以严肃的对待。
我的数理逻辑能力也比较强，在班级里能保持在班级前列。
与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
在其职业生涯早期曾获得布宜诺斯艾利斯大学数学逻辑博士学位。
刘奋荣：从数理逻辑的分析方法看“白马非马”，《山西大学学报》1997年第3期。