Peirce's Contribution to the Logic of Statements and Quantifiers