first-order logic

• n. 一阶逻辑 数学

[计] 一阶逻辑

英汉双解字典由 ECDICT 提供

• first order logic