Methods of logic - Quine, W. V. (Holt, Rinehart and Winston, 1972)