TY - JOUR AU - G. C. Nelson TI - A further restricted ω-rule JO - Colloquium Mathematicum PY - 1971 SP - 1 EP - 3 VL - 23 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/cm-23-1-1-3/ DO - 10.4064/cm-23-1-1-3 LA - en ID - 10_4064_cm_23_1_1_3 ER -