Primitive recursive notations for infinitary formulas Kenneth A. Bowen — 1974 Colloquium Mathematicae