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