Methods of logic - Quine, Willard Van Orman (Henry Holt and Company, 1953)