An elementary completeness proof for a system of natural deduction. Bennett, D. W. Notre Dame Journal of Formal Logic, 14(3):430-432, 1973.
An elementary completeness proof for a system of natural deduction. [link]Link  An elementary completeness proof for a system of natural deduction. [link]Paper  bibtex   
@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
}

Downloads: 0