TY - BOOK AU - Rosenbloom Paul, C. TI - Elements of mathematical logic PY - 1950/// ER -