Mathematical Logic - Quine, W. V. 1908-2000 (Harper, 1962)