The formal semantics of quantification. - Cushing, Steven (Indiana University Linguistics Club, 1977)