TY - JOUR AU - H. Enderton AU - Harvey Friedman TI - Approximating the standard model of analysis JO - Fundamenta Mathematicae PY - 1971 SP - 175 EP - 188 VL - 72 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-72-2-175-188/ DO - 10.4064/fm-72-2-175-188 LA - en ID - 10_4064_fm_72_2_175_188 ER -