W. V. Quine, Mathematical Logic. tr 2008, 2 (12).