%0 Journal Article
%A Kenneth A. Bowen
%T Primitive recursive notations for infinitary formulas
%J Colloquium Mathematicum
%D 1974
%P 1-5
%V 30
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/cm-30-1-1-5/
%R 10.4064/cm-30-1-1-5
%G en
%F 10_4064_cm_30_1_1_5