The elements of mathematical logic. Rosenbloom, Paul C. Logic, Symbolic and mathematical. BC135 .R55 510.1 ROE "Bibliographical and other remarks": p. 194-208. New York] Dover Publications, 1950. 1950. 1950 Text iv, 214 p. ; eng The Dover series in mathematics and physics