TY - BOOK AU - Rosenbloom,Paul C. TI - The elements of mathematical logic T2 - The Dover series in mathematics and physics U1 - 164 PY - 1950/// CY - New York PB - Dover Publications KW - Logic, Symbolic and mathematical N1 - "Bibliographical and other remarks": p. 194-208 ER -