TY - BOOK AU - Baum John D AU - Dobyns Roy A TI - Structure of the real number system U1 - B13y5, K7 PY - 1975/// KW - real number ER -