@article{1183383693,
author = {Quine, W. V.},
title = {On Derivability},
journal = {J. Symbolic Logic},
volume = {2},
number = {2},
year = {1937},
pages = { 113-119},
language = {en},
url = {http://dml.mathdoc.fr/item/1183383693}
}
Quine, W. V. On Derivability. J. Symbolic Logic, Tome 2 (1937) no. 2, pp. 113-119. http://gdmltest.u-ga.fr/item/1183383693/