 Building on earlier work of Peirce, in the third volume of his Lectures on the algebra of logic [1895] Schröder develops the calculus of relatives (that is, relations). Quantifiers are defined as certain possibly infinite sums and products, over individuals or other relations. (Goldfarb 1979: 354)