%0 Journal Article %1 journals/ndjfl/MeredithP63 %A Meredith, C. A. %A Prior, A. N. %D 1963 %J Notre Dame J. Formal Log. %K dblp %N 3 %P 171-187 %T Notes on the axiomatics of the propositional calculus. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl4.html#MeredithP63 %V 4

@article{journals/ndjfl/MeredithP63, added-at = {2020-05-21T00:00:00.000+0200}, author = {Meredith, C. A. and Prior, A. N.}, biburl = {https://www.bibsonomy.org/bibtex/2bb29724b638361fdd8b1ec24d3aaa844/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093957574}, interhash = {ca9f16840d4c6fb21b41d6639c6cedf4}, intrahash = {bb29724b638361fdd8b1ec24d3aaa844}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 3, pages = {171-187}, timestamp = {2020-05-23T12:18:36.000+0200}, title = {Notes on the axiomatics of the propositional calculus.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl4.html#MeredithP63}, volume = 4, year = 1963 }