＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- sangpiaoxiao powder
- Sangre Grande
- Sangri Xian
- Sang Rou
- Sangs-rgyas rgyal-mtshan
- Sang Tong
- Sanguanmiao
- sanguinarine
- Sang Weihan
- sangxing decoction
- Sangyuan polder
- Sang Yue
- Sang Zhenjun
- Sangzhi Xian
- Sang Zhong
- Sanhadjia Confederation
- Sanhan Yaocha
- Sanhe
- Sanhe cattle
- Sanhedrin
- Sanhe horse
- Sanhe Island
- Sanhe Kouan
- Sanhe Shi
- Sanhe sluice