TY - BOOK AU - Rosenbloom,Paul C. TI - The elements of mathematical logic PY - 1950/// CY - New York PB - Dover Pub. Inc. KW - Logic, Symbolic and mathematical N1 - 'Bibliographical and other remarks': p. 194-208 ER -