Assertion: propositional logic | /r/AtLocation | mathematical community
Facets:
value: by c. s. peirce
type: OTHER
Source sentences:
text: Predicate logic was introduced to the mathematical community by C. S. Peirce, who coined the term second-order logic and whose notation is most similar to the modern form (Putnam 1982).