＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 calculus of predicates 谓词演算 functional calculus 函数演算，谓词演算† predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- Liberating the Coastal Islands of Zhejiang
- Liberation
- liberation
- liberation axiom
- Liberation Daily Supplement
- Liberation Front of the Enclave of Cabinda
- liberation method
- Liberation of Nanjing
- Liberation Policy
- Liberation Publishing House
- Liberation Rite
- Liberation Rite of Water and Land
- Liberation Theology
- Liberia
- Liberian-Anglo Treaty
- Liberian Civil War
- Liberian-Franco Agreement
- Liberian Literature
- Liberians
- Liberian-U.S.A. Agreements of Mutual Defence Assistance
- Liberia-United States Agreement on the Construction of the Port of Monrovia
- LIBER International Book Fair
- libertarianism
- Libertas
- liberty