＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- drafts making
- draft solicitation
- Draft Theses on National and Colonial Questions for the Second Congress of the Communist International
- draft tube
- draft tube baffle crystallizer
- drag
- drag and drop
- drag bit
- drag body flowmeter
- drag chain
- drag coefficient
- drag crisis
- drag effect
- drag embedment anchor
- drag force
- dragging
- dragging along
- dragging erection method
- dragging gillnet fishing
- dragging injury
- dragging of light
- Drag Her to Hell, Drive Her to Heaven
- drag model
- dragon
- Dragon and Phoenix Bringing Prosperity