＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- Johan Henrik Kellgren
- Johan Herman Wessel
- Johan Huizinga
- Johan Jaaffar
- Johan Ludvig Emil Dreyer
- Johan Ludvig Heiberg
- Johan Ludvig Runeberg
- Johanna
- Johann Adam Reincken
- Johann Adam Schall von Bell
- Johann Adolf Hasse
- Johann Adolph Scheibe
- Johanna Nichols
- Johann Baptist Cramer
- Johann Bayer
- Johann Bernhard Basedow
- Johann Caspar Kerll
- Johann Chrisitian Bach
- Johann Christoph Altnikol
- Johann Christoph Bach
- Johann Christoph Friedrich Bach
- Johann Christoph Friedrich von Schiller
- Johann Christoph Gottsched
- Johann Christoph Pepusch
- Johann Daniel Titius