Notes on the axiomatics of the propositional calculus.
C. A. Meredith and A. N. Prior
Source: Notre Dame J. Formal Logic Volume 4, Number 3 (1963), 171-187.
Primary Subjects: 02.12
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093957574
Zentralblatt MATH identifier:
0146.00801
Mathematical Reviews number (MathSciNet):
MR0170798
Digital Object Identifier: doi:10.1305/ndjfl/1093957574
Notre Dame Journal of Formal Logic
