＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- Kingdom of Dahomey
- Kingdom of Dali Buddhist volume of paintings
- kingdom of ends
- Kingdom of Ghana
- Kingdom of God
- Kingdom of Heaven
- Kingdom of Israel
- Kingdom of Jerusalem
- Kingdom of Johor
- Kingdom of Judah
- Kingdom of Kasa
- Kingdom of Kuba
- Kingdom of Lannathai
- Kingdom of Libya
- Kingdom of Loango
- Kingdom of Lombard
- Kingdom of Makuria
- Kingdom of Malacca
- Kingdom of Meroë
- Kingdom of Mwene Matapa
- Kingdom of Naples
- Kingdom of Ndelebe
- Kingdom of Ndongo
- Kingdom of Nubia
- Kingdom of Numidia