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