TY - RPRT TI - Effective Equality and Effective Implication in Formal Logic. AU - E V Huntington PY - 1935 DO - 10.1073/pnas.21.5.266 UR - https://pubmed.ncbi.nlm.nih.gov/16577669/ ID - 16577669 ER -