The elements of mathematical logic - Rosenbloom, Paul C. (Dover Publications, Inc, 1950)