Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
@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}, publisher = {mathdoc}, volume = {30}, number = {1}, year = {1974}, doi = {10.4064/cm-30-1-1-5}, language = {en}, url = {http://geodesic.mathdoc.fr/articles/10.4064/cm-30-1-1-5/} }
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. http://geodesic.mathdoc.fr/articles/10.4064/cm-30-1-1-5/
Cité par Sources :