＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- T. Hobbes (1588—1679)
- tholeiite
- tholeiitic series
- Thollon prism monochromator
- tholus
- Thom
- Thoma
- Thoma cavitation number
- Thom algebra
- Thomas
- Thomas Alva Edison
- Thomas Annan
- Thomas Aquinas
- Thomas Aquinas' ethical thoughts
- Thomas Arnold
- Thomas Augustine Arne
- Thomas Barnes
- Thomas Bayes
- Thomas Beecham
- Thomas Bernhard
- Thomas Brown
- Thomas Campion
- Thomas Carlyle
- Thomas Chandler Haliburton
- Thomas Child