Open Access
January 1974 A concise method for translating propositional formulae containing the standard truth-functional connectives into a Sheffer stroke equivalent; plus an extension of the method.
Ralph L. Slaght
Notre Dame J. Formal Logic 15(1): 161-164 (January 1974). DOI: 10.1305/ndjfl/1093891209
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.15 • No. 1 • January 1974
Back to Top