W. V. Quine, Mathematical Logic. The Reasoner, v. 2, n. 12, 1 Dec.2008.