Norman M. Martin The Sheffer Functions of 3-Valued Logic. 45-51 1954 19 J. Symb. Log. 1 db/journals/jsyml/jsyml19.html#Martin54