Mathematical logic - Quine, W. V. 1908-2000 (Harvard Univ. Pr., 1981)