Methods of logic - Quine, Willard Van Orman (Holt, Rinehart and Winston, 1967)