Richard Beatty: Peirce's development of quantifiers and of predicate logic. Notre Dame J. Formal Log. 10(1): 64-76 (1969)