Methods of logic - Quine, W. V. (Willard Van Orman) (Holt, 1972)