Methods of logic - Quine, Willard Van Orman (Holt, 1959)