"free variables" -
related articles and key terms
Related terms:
logic
predicate
bound variable
lambda calculus
mathematical logic
Wikipedia sources:
Lambda calculus
Quantification
Expression (mathematics)
Relational model
Context for words:
free
variables