Mathematical logic - Quine, Willard Van Orman (W.W. Norton, 1940)