Mathematical Logic : Revised Edition by Willard Van Orman Quine (1982, Trade…

A nice touch in this textbook is the checklist of learning outcomes at the start.