＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- linea
- line absorption
- line absorption coefficient
- line advance
- lineage
- lineage group
- lineage institution
- lineage network
- lineage zone
- lineal
- lineal acceleration
- lineal descent
- lineal motion
- Line and Bead Park in Fuzhou
- line and staff organization
- LINEAR
- linear
- Linear A
- linear ablation
- linear absorption coefficient
- linear acceleration
- linear acceleration sensor
- linear accelerator
- linear accelerometer
- linear acoustics