您要查找的是不是：
- 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. 为了在天黑前到达，我们很早就动身了。
- Implementation of first order logic model generation 一阶逻辑模型生成器的实现
- A new algebraic proof of completeness of first order logic 一阶逻辑完备性定理的新代数证明
- Can you cash this postal order for me now? 你现在能帮我兑现这张邮政汇票吗？
- Give me an order of chicken curry. 给我来一份咖喱鸡。
- As a lightweight his skill is of the highest order. 作为轻量级拳击手，他的技术是第一流的。
- I'd like to place an order for some tea with you. 我想从贵公司订购一些茶叶。
- You must arrange these books in alphabetical order. 你要把这些书按字母顺序排好。
- Please tabulate the numbers in order. 请把那些数字按顺序制成表。
- Everything in the kitchen is in good order. 厨房里的每样东西都井然有序。
- I've put my entire life into apple-pie order. 我把自己的一生都安排停当了。
- An extraordinarily large order bucked up all the staff. 一份特大订单使全体员工欢欣鼓舞。
