Mathematical logic. - Quine, W. V. (Harvard University Press,, 1961)