The Elements of mathematical logic - Rosenbloom, Paul C. (Yer series in mathematics and physics / W. Prager, 1950)