Terms for subject Space containing logic order

English	Chinese
first order logic	一阶逻辑
first order predicate logic	一阶谓词逻辑
first-order logic	一级逻辑