高阶逻辑的英文翻译
中文：高阶逻辑
英文翻译：【计】 higher order logic; highor-order logic