您要查找的是不是：
- Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；
- 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的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
- FIRST ORDER LOGIC AND FIRST ORDER THEORY 一阶逻辑与一阶理论
- Implementation of first order logic model generation 一阶逻辑模型生成器的实现
- A new algebraic proof of completeness of first order logic 一阶逻辑完备性定理的新代数证明
- Proving Several Theorems in First Order Logic Based on Back-and-Forth Method 向前向后法证明一阶逻辑的几个定理
- Kim B. Bruce gave a system of axioms lor second order logic L(Q). Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。
- His earlier work announced a lyric talent of the first order. 他的早期作品显露了一流的抒情才华。
- Kim B.Bruce gave a system of axioms for second order logic L(Q). Kim B.;Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。
- PLD and digital logic system design II. 与数字系统设计2。
- The logic system of Laotze's legal thought is extremely tight. 摘要老子法律思想的逻辑体系极其严密。
- The little boy has got a brain of the first order. 这小孩有一个一流的头脑。
- She was a snob of the first order. 她是天字第一号势利鬼。
- Formulas of first order logic 一阶逻辑的公式
- Your first order is quite small. 贵公司的首批订货辆太少。
- That's a ferociously logical system. 那是极合逻辑的系统。
- We expect payment in advance on first order. 我们希望第一次订货要求预付货款。
- The data flow diagram describes the logical system. 数据流程图描述了逻辑系统。
- It is a diamond of the first order. 这是一颗上等钻石。
- I got my first order delivered from dangdang.com. 看我够好说话的吧。
