Category:Definitions/Named Definitions/Sheffer
Jump to navigation
Jump to search
This category contains definitions named for Henry Maurice Sheffer.
American logician famous for proving in $1913$ that the logical NAND operator is functionally complete. (This had previously been noted by Charles Sanders Peirce in $1880$ but not published till $1933$.)
Pages in category "Definitions/Named Definitions/Sheffer"
The following 2 pages are in this category, out of 2 total.