The elements of mathematical logic by Paul C. Rosenbloom