Completeness of the propositional calculus, The (1938)

by W V Quine
Venue:Journal of Symbolic Logic