TY - BOOK AU - Rosenbloom Paul C TI - Elements of mathematical logic U1 - R14, J0 (PD) PY - 1950/// CY - N.Y PB - Dover Pub KW - PHILOSOPHY ER -