Terms containing ordered logic

Subject	English	Chinese
IT	first-order logic	一阶逻辑
space	first order logic	一阶逻辑
space	first-order logic	一级逻辑
avia.	first order logic	一级逻辑
el.	first-order logic language	一级逻辑语
math.	high-order logic	高阶逻辑
tech.	high order logic	高阶逻辑
IT	higher-order logic	高阶逻辑
telecom.	higher order logic	高阶逻辑
telecom.	ordered logic	有序逻辑
telecom.	second order logic	二阶逻辑
tech.	second-order logic	二阶逻辑