Quantifiers, Variables, and Environments
by Jim Miller


W3C