Meredith, C. A.; Prior, A. N. Notes on the axiomatics of the propositional calculus. (English) Zbl 0146.00801 Notre Dame J. Formal Logic 4, 171-187 (1963). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 23 Documents Keywords:mathematical logic PDFBibTeX XMLCite \textit{C. A. Meredith} and \textit{A. N. Prior}, Notre Dame J. Formal Logic 4, 171--187 (1963; Zbl 0146.00801) Full Text: DOI