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