%0 Journal Article %1 journals/ndjfl/Resnik66 %A Resnik, Michael D. %D 1966 %J Notre Dame J. Formal Log. %K dblp %N 2 %P 206-208 %T A note on natural deduction. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl7.html#Resnik66 %V 7

@article{journals/ndjfl/Resnik66, added-at = {2020-05-21T00:00:00.000+0200}, author = {Resnik, Michael D.}, biburl = {https://www.bibsonomy.org/bibtex/21a233b254e3b2363df32593361d78a2b/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093958561}, interhash = {367ef2fc7aae0c57f81854ad6a75b7e0}, intrahash = {1a233b254e3b2363df32593361d78a2b}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 2, pages = {206-208}, timestamp = {2020-05-23T12:15:51.000+0200}, title = {A note on natural deduction.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl7.html#Resnik66}, volume = 7, year = 1966 }