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