Primitive recursive notations for infinitary formulas
Tom 30 / 1974
Colloquium Mathematicum 30 (1974), 1-5
DOI: 10.4064/cm-30-1-1-5