TY - JOUR AU - Marker, David AU - Macintyre, Angus PY - 1997/01/01 Y2 - 2024/03/28 TI - A failure of quantifier elimination JF - Revista Matemática Complutense JA - Rev. mat. complut. VL - 10 IS - 0 SE - Artículos DO - 10.5209/rev_REMA.1997.v10.17364 UR - https://revistas.ucm.es/index.php/REMA/article/view/REMA9797330209A SP - 209 AB - Sin resumen ER -