Mathematical Logic - Quine, Willard Van Orman