＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- Jino dance
- Jino language
- Jino literature
- Jino music
- Jin Opera and Folk Art Institute of Jinzhong City
- Jinotega
- Jin Peisong
- Jin Peng
- Jinpo mountain official system
- Jinpu Xinqu
- Jin Quancai
- Jinquan National Forest Park
- Jin-Qu Subgroup of Wu Dialects
- JINR
- Jinrao Shan
- Jin Rongjing
- Jin Rong-wo
- Jin Ruilin
- Jinse
- Jinsha Andi Wenquan
- Jinsha Jiang
- Jinshajiang-Red river suture zone
- Jin Shan
- Jin Shanbao
- Jinshan Cuiya tea