Axiomatization of propositional calculus with Sheffer functors.
Thomas W. Scharle
Source: Notre Dame J. Formal Logic Volume 6, Number 3
(1965), 209-217.
First Page:
Show
Hide
Primary Subjects:
02.12
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093958259
Zentralblatt MATH identifier: 0144.24401
Mathematical Reviews number (MathSciNet): MR0194315
Digital Object Identifier: doi:10.1305/ndjfl/1093958259
Notre Dame Journal of Formal Logic
