TY - BOOK AU - Rosenbloom, Paul C. TI - The elements of mathematical logic PY - 1950/// CY - New York PB - dover publication, Inc KW - Mathematical logic KW - Mathematics ER -