@article{1183730862, author = {Quine, W. V.}, title = {On Natural Deduction}, journal = {J. Symbolic Logic}, volume = {14}, number = {4}, year = {1950}, pages = { 93-102}, language = {en}, url = {http://dml.mathdoc.fr/item/1183730862} }
Quine, W. V. On Natural Deduction. J. Symbolic Logic, Tome 14 (1950) no. 4, pp. 93-102. http://gdmltest.u-ga.fr/item/1183730862/