Mathematical logic - Quine, Willard Van Orman (Harvard University Press, 1981)