@article{journals/ndjfl/Bennett73,
  added-at = {2014-08-08T00:00:00.000+0200},
  author = {Bennett, David W.},
  biburl = {http://www.bibsonomy.org/bibtex/22fd885f01afe88eae2c54e390256ed81/dblp},
  ee = {http://dx.doi.org/10.1305/ndjfl/1093891017},
  interhash = {c1df58c047844d40c627adf4443cc6f7},
  intrahash = {2fd885f01afe88eae2c54e390256ed81},
  journal = {Notre Dame Journal of Formal Logic},
  keywords = {dblp},
  number = 3,
  pages = {430-432},
  timestamp = {2015-06-17T21:57:58.000+0200},
  title = {An elementary completeness proof for a system of natural deduction.},
  url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl14.html#Bennett73},
  volume = 14,
  year = 1973
}

{"_id":"24kfjjdoCckBNRso9","bibbaseid":"bennett-anelementarycompletenessproofforasystemofnaturaldeduction-1973","downloads":0,"creationDate":"2016-04-26T11:47:36.127Z","title":"An elementary completeness proof for a system of natural deduction.","author_short":["Bennett, D. W."],"year":1973,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Bennett?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2014-08-08T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Bennett"],"firstnames":["David","W."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/22fd885f01afe88eae2c54e390256ed81/dblp","ee":"http://dx.doi.org/10.1305/ndjfl/1093891017","interhash":"c1df58c047844d40c627adf4443cc6f7","intrahash":"2fd885f01afe88eae2c54e390256ed81","journal":"Notre Dame Journal of Formal Logic","keywords":"dblp","number":"3","pages":"430-432","timestamp":"2015-06-17T21:57:58.000+0200","title":"An elementary completeness proof for a system of natural deduction.","url":"http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl14.html#Bennett73","volume":"14","year":"1973","bibtex":"@article{journals/ndjfl/Bennett73,\n added-at = {2014-08-08T00:00:00.000+0200},\n author = {Bennett, David W.},\n biburl = {http://www.bibsonomy.org/bibtex/22fd885f01afe88eae2c54e390256ed81/dblp},\n ee = {http://dx.doi.org/10.1305/ndjfl/1093891017},\n interhash = {c1df58c047844d40c627adf4443cc6f7},\n intrahash = {2fd885f01afe88eae2c54e390256ed81},\n journal = {Notre Dame Journal of Formal Logic},\n keywords = {dblp},\n number = 3,\n pages = {430-432},\n timestamp = {2015-06-17T21:57:58.000+0200},\n title = {An elementary completeness proof for a system of natural deduction.},\n url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl14.html#Bennett73},\n volume = 14,\n year = 1973\n}\n\n","author_short":["Bennett, D. W."],"key":"journals/ndjfl/Bennett73","id":"journals/ndjfl/Bennett73","bibbaseid":"bennett-anelementarycompletenessproofforasystemofnaturaldeduction-1973","role":"author","urls":{"Link":"http://dx.doi.org/10.1305/ndjfl/1093891017","Paper":"http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl14.html#Bennett73"},"keyword":["dblp"],"downloads":0},"search_terms":["elementary","completeness","proof","system","natural","deduction","bennett"],"keywords":["dblp"],"authorIDs":[],"dataSources":["WB7BEfwHbjgA9jTgJ"]}