R. D. Tennant

• Quantification in Algol-like languages