＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- Shao Bao
- Shaobing Dao
- Shao Binsun
- Shao Bohu
- Shao Bolin
- Shaobo Zhen
- Shao Can
- Shaochai
- Shao Changheng
- Shaochen Building Complex
- Shaocheng Park in Chengdu
- shaochong
- Shao Daheng
- Shaodian Shi
- Shaodongian Stage
- Shaodong Shi
- Shao Duoli
- Shao En
- Shao Feng
- shaofu
- shaofu zhuyu decoction
- Shao Garden
- Shao Gongwen
- Shaoguan Museum
- Shaoguan North Guangdong Tea-picking Art Protection and Inheritance Center