Geodesic
Primitive recursive notations for infinitary formulas
Colloquium Mathematicum, Tome 30 (1974) no. 1, pp. 1-5

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

DOI 

Kenneth A. Bowen. Primitive recursive notations for infinitary formulas. Colloquium Mathematicum, Tome 30 (1974) no. 1, pp. 1-5. doi: 10.4064/cm-30-1-1-5
@article{10_4064_cm_30_1_1_5,
     author = {Kenneth A. Bowen},
     title = {Primitive recursive notations for infinitary formulas},
     journal = {Colloquium Mathematicum},
     pages = {1--5},
     year = {1974},
     volume = {30},
     number = {1},
     doi = {10.4064/cm-30-1-1-5},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/cm-30-1-1-5/}
}
TY  - JOUR
AU  - Kenneth A. Bowen
TI  - Primitive recursive notations for infinitary formulas
JO  - Colloquium Mathematicum
PY  - 1974
SP  - 1
EP  - 5
VL  - 30
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4064/cm-30-1-1-5/
DO  - 10.4064/cm-30-1-1-5
LA  - en
ID  - 10_4064_cm_30_1_1_5
ER  - 
%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
%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

Cité par Sources :