Mathematical Logic, Revised Edition by Willard V. Quine