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