W. V. Quine, Mathematical Logic (The Reasoner, 2008)