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