A Set of Five Independent Postulates for Boolean Algebras, with Application to Logical Constants

Henry Maurice Sheffer
1913 Transactions of the American Mathematical Society  
doi:10.2307/1988701 fatcat:wimtd6uqhzcxhgefjz5myi25bq