TY - BOOK AU - Rosenbloom, Paul C. TI - The elements of mathematical logic PY - 1950/// CY - London PB - Dover KW - Logic, Symbolic and mathematical ER -