Methods of logic - Quine, Willard Van Orman (New York: Holt, Rinethart and Winston, 1959)
Keywords: Logic methods; Uniform quantification