The elements of mathematical logic - Rosenbloom, Paul C. (The dover series in mathematics and physics, 1950)