%0 Journal Article %1 journals/ndjfl/White74 %A White, Bruce %D 1974 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 167-168 %T A note on natural deduction in many-valued logic. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl15.html#White74 %V 15

@article{journals/ndjfl/White74, added-at = {2020-05-21T00:00:00.000+0200}, author = {White, Bruce}, biburl = {https://www.bibsonomy.org/bibtex/29d48547c46da6028b260837ea1a12012/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093891211}, interhash = {9f7796eab5df4dda104988e7a665b53b}, intrahash = {9d48547c46da6028b260837ea1a12012}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {167-168}, timestamp = {2020-05-23T12:17:57.000+0200}, title = {A note on natural deduction in many-valued logic.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl15.html#White74}, volume = 15, year = 1974 }