Methods of logic - Quine, W. V. 1908-2000 (Holt, Rinehart & Winston, 1967)