The Elements of Mathematical Logic - Rosenbloom, Paul C. (Dover)