＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- specialized production
- specialized records and archives acquisition
- specialized school
- specialized school in traditional China
- specialized secondary school with in-depth study of specific subjects
- specialized structure
- specialized villages
- special Jordan algebra
- special jurisdiction
- special justifiable defense
- special labels for wild animal utilization management
- special Lagrangian submanifold
- special lanes
- special Laplace transformation
- special law of contraposition
- special laws for tort
- Special Libraries Association
- special library
- Special Library Management
- Special Library Science
- Special Licenses
- special Lie algebra
- special Lie group
- special light llumination
- special linear group