TY - BOOK AU - Halmos, Paul Richard, TI - Naive set theory U1 - 512.817 PY - 1960///] CY - Princeton, N.J. PB - Van Nostrand KW - Set theory KW - Arithmetic KW - Foundations ER -