A failure of quantifier elimination

  • David Marker
  • Angus Macintyre
DOI: https://doi.org/10.5209/rev_REMA.1997.v10.17364

Resumen

Sin resumen

Descargas

Los datos de descargas todavía no están disponibles.

Descarga artículo

Crossmark

Métricas

Publicado
1997-01-01
Cómo citar
Marker D. y Macintyre A. (1997). A failure of quantifier elimination. Revista Matemática Complutense, 10, 209. https://doi.org/10.5209/rev_REMA.1997.v10.17364
Número
Vol. 10 (1997): Extra
Sección
Artículos

Licencia

LICENCIA DE USO: Los artículos a texto completo incluidos en el Portal de Revistas Científicas Complutenses son de acceso libre y propiedad de sus autores y/o editores. Por tanto, cualquier acto de reproducción, distribución, comunicación pública y/o transformación total o parcial requiere el consentimiento expreso y escrito de aquéllos. Cualquier enlace al texto completo de los artículos del Portal de Revistas Científicas Complutenses debe efectuarse a la URL oficial de la Universidad Complutense de Madrid