＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- nourishing yin to clear the lung
- nourishing yin to relieving superficies syndrome
- Nous
- nouveaux plasticiens
- Nouvelle-Aquitaine
- Nouvelle politique indigène
- Nouvel Opera House
- nova
- novacekite
- Nova Cygni
- Nova Cygni 1992
- Nova Design Ltd.
- nova explosion
- nova frequency
- novakite
- novalgin
- nova-like star
- nova-like variable
- nova-like X-ray source
- Novalite
- Novamat
- nova outburst
- novar
- Novara
- nova rate