Mathematical Logic, Revised Edition door Willard V. Quine