您要查找的是不是：
- Kim B. Bruce gave a system of axioms lor second order logic L(Q). Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。
- Kim B.Bruce gave a system of axioms for second order logic L(Q). Kim B.;Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。
- Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；
- When sharing a quest, the order logic has changed to check whether or not the player has completed or is ineligible for the quest before checking whether their quest log is full. - 共享任务时，逻辑改为检查队友是否完成了任务或有无资格接受任务，而不是检查任务日志是否已经满了。
- The two-valued weak model of the first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.For finite linearly-ordered weak complemented lattice, the omitting type theorem is proved. 将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
- The First- order Logic and Set Theory 一阶逻辑与集合论
- FIRST ORDER LOGIC AND FIRST ORDER THEORY 一阶逻辑与一阶理论
- In order not to be late, she cut across the fields. 为了不迟到，她抄近路穿过田野。
- We started early in order to arrive before dark. 为了在天黑前到达，我们很早就动身了。
- He ordered the troops to limber up and move out. 他命令部队把炮装上前车开出去。
- The courts ordered the seizure of all her property. 法院下令查封她所有的财产。
- The captain ordered two flags to be placed fore and aft. 船长吩咐在船头和船尾各挂一面旗子。
- Implementation of first order logic model generation 一阶逻辑模型生成器的实现
- The soldiers were ordered to present arms. 士兵们奉命举枪致敬。
- The petition was ordered to lie on the table. 该请愿书奉命暂搁一边，以后讨论。
- A new algebraic proof of completeness of first order logic 一阶逻辑完备性定理的新代数证明
- She ordered a hamburger and French fries. 她叫了一客汉堡包和炸薯条。
- The sentry was ordered to shoot on sight. 哨兵奉命一发现目标就射击。
- I ordered a wreath from the florist. 我从花店定购了一个花冠。
- Can you cash this postal order for me now? 你现在能帮我兑现这张邮政汇票吗？
