一阶逻辑的英文翻译
中文：一阶逻辑
英文翻译：【计】 first order logic; first-order logic