TY - BOOK AU - Rosenbloom Paul C TI - Elements of mathematical logic U1 - R14, J02 PY - 1950/// KW - PHILOSOPHY ER -