W. V. Quine On Derivability. 113-119 1937 2 J. Symb. Log. 3 db/journals/jsyml/jsyml2.html#Quine37