W. V. Quine, Mathematical Logic