A further restricted ω-rule
Volume 23 / 1971
Colloquium Mathematicum 23 (1971), 1-3
DOI: 10.4064/cm-23-1-1-3