＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- dyspepsia
- dyspeptic abdominal mass
- dysphagia
- dysphagia assessments
- dysphagia in the elderly
- dysphagia treatment
- dysphotic zone
- dysplasia
- dyspnea
- dysprosium
- dystectic
- dystectic mixture
- dysthymia
- dystocia in domestic animals
- dystonia
- dystroglycan
- dystrophic calcification
- dystrophin
- dystrophy
- dysuria
- dysuria and frequent vomiting
- dytetragonal prism
- Dzavhan River
- D. Zeilberger
- D. Zeilberger (1950—)