Terms containing logic order

Subject	English	Chinese
space	first order logic	一阶逻辑
avia.	first order logic	一级逻辑
space	first order predicate logic	一阶谓词逻辑
space	first-order logic	一级逻辑
IT	first-order logic	一阶逻辑
el.	first-order logic language	一级逻辑语
tech.	first-order predicate logic	一阶谓词逻辑
tech.	high order logic	高阶逻辑
telecom.	higher order logic	高阶逻辑
IT	higher-order logic	高阶逻辑
math.	high-order logic	高阶逻辑
tech.	logic device order	逻辑设备命令
tech.	logic device order	逻辑设备指令
tech.	logic order	逻辑指令
el.	micro-order generation logic	微指令生成逻辑
telecom.	second order logic	二阶逻辑
tech.	second-order logic	二阶逻辑