A failure of quantifier elimination

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

Résumé

Sin resumen

Téléchargements

Les données relatives au téléchargement ne sont pas encore disponibles.

##submission.format##

##submission.crossmark##

##submission.metrics##

Publié-e
1997-01-01
Comment citer
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
Numéro
Vol. 10 (1997): Extra
Rubrique
Artículos

Licence

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