%0 Journal Article %1 journals/ndjfl/Bennett77 %A Bennett, David W. %D 1977 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 145-146 %T A note on the completeness proof for natural deduction. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl18.html#Bennett77 %V 18

@article{journals/ndjfl/Bennett77, added-at = {2020-05-21T00:00:00.000+0200}, author = {Bennett, David W.}, biburl = {https://www.bibsonomy.org/bibtex/272dd70dd8cf6318c625204e480114353/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093887830}, interhash = {2c2ef65ccf7ee61126635f2b638874a7}, intrahash = {72dd70dd8cf6318c625204e480114353}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {145-146}, timestamp = {2020-05-23T12:16:10.000+0200}, title = {A note on the completeness proof for natural deduction.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl18.html#Bennett77}, volume = 18, year = 1977 }