Rosenbloom, Paul C Elements of mathematical logic - NEW YORK DOVER PUBLICATIONS INC. 1950 - IV, 214p p. Subjects--Index Terms: MATHEMATICS