＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- great vowel shift
- Great Wall
- great wall
- Great Wall Film Enterprises Ltd.
- Great Wall of Ming Dynasty
- Great Wall of the Northern Qi Dynasty
- Great Wall Station
- Great Western Schism
- Great White Fleet
- great white shark
- Great White Spot
- Great Wild Goose Pagoda
- great world paradox
- Great Yangge Opera of Inner Mongolia
- great year
- Great Yu tripod
- Great Zimbabwe
- Greaves
- greaves
- Grebe
- Grebe point
- grebes
- Grecian era
- Greco-Latin square
- Greco-Persian Wars