＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- universal task list
- universal Teichmüller space
- universal theodolite
- universal time
- universal time constant
- universal time, UT
- universal topological space
- universal transverse mercator projection
- universal Turing machine
- universal two-child policy
- universal unfolding
- universal uniformity
- universal validity
- universal variety
- universal woodworking machine
- universal λ-ring
- universe
- universe abundance
- universe age
- universe, cosmos
- universe evolution
- universe mean
- universe of a structure
- universe of discourse
- universe's age