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