TY  - JOUR
AU  - Tomàs, Francesc
TI  - Corrección al artículo: Análisis formalmente recursivo.
JO  - Publicacions matemàtiques
PY  - 1988
SP  - 289
EP  - 291
VL  - 32
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PM_1988_1988_1_a25/
ID  - PM_1988_1988_1_a25
ER  -