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