Mathematical Logic, Revised Edition

W. V. Quine