@article{bwmeta1.element.desklight-6354c885-8463-42c9-964e-12de5d57bf42,
author = {Kenneth A. Bowen},
title = {Primitive recursive notations for infinitary formulas},
journal = {Colloquium Mathematicae},
volume = {31},
year = {1974},
pages = {1-5},
zbl = {0262.02014},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.desklight-6354c885-8463-42c9-964e-12de5d57bf42}
}
Kenneth A. Bowen. Primitive recursive notations for infinitary formulas. Colloquium Mathematicae, Tome 31 (1974) pp. 1-5. http://gdmltest.u-ga.fr/item/bwmeta1.element.desklight-6354c885-8463-42c9-964e-12de5d57bf42/