＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- language rights
- language safety
- language sampling
- language school
- language selection rules
- language sense
- language services
- language shift
- Language Situation in China
- languages of Gaoshan nationality
- languages of the world
- language spread
- language standardization
- language status planning
- language strategy
- language substitution
- language substratum
- language supertratum
- language system/institution
- language taboo
- Language Teaching
- Language Teaching and Linguistic Studies
- Language Teaching Research
- Language Testing
- Language Testing Research Colloquium