@article{1093891017,
author = {Bennett, David W.},
title = {An elementary completeness proof for a system of natural deduction.},
journal = {Notre Dame J. Formal Logic},
volume = {14},
number = {1},
year = {1973},
pages = { 430-432},
language = {en},
url = {http://dml.mathdoc.fr/item/1093891017}
}
Bennett, David W. An elementary completeness proof for a system of natural deduction.. Notre Dame J. Formal Logic, Tome 14 (1973) no. 1, pp. 430-432. http://gdmltest.u-ga.fr/item/1093891017/