The Elements of Mathematical Logic by Paul C. Rosenbloom