%0 Journal Article %1 journals/ndjfl/Prior69 %A Prior, A. N. %D 1969 %J Notre Dame J. Formal Log. %K dblp %N 3 %P 271-272 %T Propositional calculus in implication and non-equivalence. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl10.html#Prior69 %V 10

@article{journals/ndjfl/Prior69, added-at = {2020-05-21T00:00:00.000+0200}, author = {Prior, A. N.}, biburl = {https://www.bibsonomy.org/bibtex/2b87b8d98faf231ff1721e99415b6d727/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093893714}, interhash = {295621d95bfeec28dd62725b093e6d3a}, intrahash = {b87b8d98faf231ff1721e99415b6d727}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 3, pages = {271-272}, timestamp = {2020-05-23T12:17:24.000+0200}, title = {Propositional calculus in implication and non-equivalence.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl10.html#Prior69}, volume = 10, year = 1969 }