Mathematical logic. - Quine Willard Van Orman (America Harvard University Press, 1974)